<@UHVF9QEPP> people liked your proposal for the PR...
# announceh
hundreds-father-404
05/19/2020, 5:09 PM@polite-garden-50641 people liked your proposal for the PR labeling 🙂 I’m setting up the labels now.
🎉 1
hundreds-father-404
05/19/2020, 5:11 PMhundreds-father-404
05/19/2020, 5:12 PMAre you still able to set up the GH action, please? People really liked that idea.
It’d be awesome if it could express a mutex, i.e. you must have one and only one of the 6 labels
p
polite-garden-50641
05/19/2020, 5:17 PMhttps://github.com/pantsbuild/pants/labels?q=release%3A you are missing a label for the release PR itself (should probably be
release:releasepolite-garden-50641
05/19/2020, 5:17 PMI'll try to get the GH action working.
h
hundreds-father-404
05/19/2020, 5:18 PMHm, we don’t include that PR in the changelog, minus when you’re preparing a release candidate. When it’s an RC, you should use
release:documentationp
polite-garden-50641
05/19/2020, 5:24 PMw
witty-crayon-22786
05/20/2020, 12:11 AMthanks Asher!
witty-crayon-22786
05/20/2020, 12:11 AM@hundreds-father-404: ready to merge i think?
h
hundreds-father-404
05/20/2020, 12:11 AMYes 🙂 thanks again Asher!
w
witty-crayon-22786
05/20/2020, 12:13 AMk. i’ll click.
❤️ 1
h
hundreds-father-404
05/20/2020, 12:53 AMIt’s working! Thanks @polite-garden-50641!