Skip to content

Conversation

wilzbach
Copy link
Contributor

Problem: users don't have the permission to add labels.

The idea is simple: the bot parses the PR title for a pre-approved list, e.g.

[Trivial] -> add "Trivial" label

Currently this function will get checked "open" or edited" events.
Gotchas:

  • There wasn't an edited hook payload in the data set (should be similar to open though)
  • For now it doesn't remove these added labels (but this is seldom required anyways)

@andralex andralex merged commit 71279c2 into dlang:master Feb 22, 2017
@wilzbach wilzbach deleted the user-title-labelling branch February 22, 2017 22:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants