Skip to content

Update state when labels change, fixes #806#807

Merged
miketaylr merged 1 commit intomasterfrom
state_what_state
Oct 29, 2015
Merged

Update state when labels change, fixes #806#807
miketaylr merged 1 commit intomasterfrom
state_what_state

Conversation

@hallvors
Copy link
Copy Markdown
Contributor

No description provided.

@hallvors
Copy link
Copy Markdown
Contributor Author

r?@miketaylr

@miketaylr
Copy link
Copy Markdown
Member

👍

miketaylr pushed a commit that referenced this pull request Oct 29, 2015
Update state when labels change, fixes #806
@miketaylr miketaylr merged commit 6943d58 into master Oct 29, 2015
@miketaylr miketaylr deleted the state_what_state branch January 7, 2016 04:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants