[Development] GitHub Pull requests
milosz at kosobucki.pl
Thu Mar 12 08:56:04 CET 2020
> What about Pull requests?
Git developers have an interesting take on that, although it integrates with mailing list and not
For example, here's the GitHub PR:
and corresponding mailing list discussion:
In the end, GitGadget's bot makes the PR "closed" but adds labels that indicate that it was merged
Food for thought.
More information about the Development