Skip to content
This repository has been archived by the owner on Feb 8, 2018. It is now read-only.

Drop is_locked entirely #3020

Merged
merged 4 commits into from
Dec 27, 2014
Merged

Drop is_locked entirely #3020

merged 4 commits into from
Dec 27, 2014

Conversation

Changaco
Copy link
Contributor

I've just realized that is_locked = true is the same thing as goal = -1. #3012

@Changaco Changaco force-pushed the drop-is_locked branch 2 times, most recently from 36095ba to e79f023 Compare December 17, 2014 21:41
@chadwhitacre chadwhitacre mentioned this pull request Dec 18, 2014
@rohitpaulk
Copy link
Contributor

LGTM, merging.

rohitpaulk added a commit that referenced this pull request Dec 27, 2014
@rohitpaulk rohitpaulk merged commit de1bb8f into master Dec 27, 2014
@Changaco Changaco deleted the drop-is_locked branch December 27, 2014 09:13
Changaco added a commit that referenced this pull request Dec 28, 2014
rohitpaulk added a commit that referenced this pull request Dec 28, 2014
This was referenced Jan 5, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants