Oh btw, when submitting a PR with an associated ticket, it's useful to put
"Closes: #<ticketno>" into the commit message to get the ticket automatically
closed when the PR is merged. Saves that little bit of administrative trivia
clickety-click.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/rpm-software-management/rpm/pull/737#issuecomment-499004710
_______________________________________________
Rpm-maint mailing list
Rpm-maint@lists.rpm.org
http://lists.rpm.org/mailman/listinfo/rpm-maint
