enhancement Success

User tests: Successful: Unsuccessful:

avatar mbabker
mbabker
14 Oct 2013

This should add labels to the hook events. Includes #152 already added.

avatar mbabker mbabker - open - 14 Oct 2013
avatar mbabker mbabker - open - 14 Oct 2013
avatar elkuku
elkuku - comment - 19 Oct 2013

Looks good ;)

I wasn't actually able to test it since it is "joomla/joomla-cms" only - why ?

avatar mbabker
mbabker - comment - 19 Oct 2013

The specific implementation right now is for a specific label on the CMS repo in terms of adding a label and updating GitHub. The same concept can be used for other labels on other repos, probably with a better configuration and more abstract code, but this got me started.

The whole idea came from someone pointing out they'd like a way to filter pull requests by a target branch since you can't do it with GitHub natively.

Labels should be getting processed for both repos with the hooks on labels that already exist on an item. If not, there's a bug.

avatar elkuku
elkuku - comment - 19 Oct 2013

Looks like a nice idea, thanks for clarifying ;)

avatar elkuku elkuku - reference | 1709e13 - 19 Oct 13
avatar elkuku elkuku - merge - 19 Oct 2013
avatar - close - 19 Oct 2013
avatar elkuku elkuku - close - 19 Oct 2013
avatar elkuku
elkuku - comment - 19 Oct 2013

One question here... who do you think should delete the merged branches ? The person who merges the PR or the one who opened it ?

avatar mbabker
mbabker - comment - 19 Oct 2013

If the origin branch is in the main repo, it doesn't matter since the branch is merged.

avatar mbabker mbabker - head_ref_deleted - 19 Oct 2013
avatar elkuku
elkuku - comment - 19 Oct 2013

OK, it just feels like "deleting someone else's branch"... never mind.

Add a Comment

Login with GitHub to post a comment