Skip to content

Fix GitHub label generation#68

Merged
gitlost merged 2 commits intomasterfrom
fix-github-labels
Dec 6, 2017
Merged

Fix GitHub label generation#68
gitlost merged 2 commits intomasterfrom
fix-github-labels

Conversation

@danielbachhuber
Copy link
Member

@danielbachhuber danielbachhuber commented Dec 6, 2017

@gitlost gitlost merged commit ccbac57 into master Dec 6, 2017
@gitlost gitlost deleted the fix-github-labels branch December 6, 2017 22:04
danielbachhuber pushed a commit that referenced this pull request Nov 18, 2022
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