-
Make it easier to execute commands in the release notes area:Documentation type:Infrastructure#62 opened
Sep 10, 2018 by thewtex -
Migrate the release notes from the Wiki to the repository area:Documentation#61 opened
Sep 6, 2018 by thewtex -
Create a bot to automatically add GitHub issue labels based on commit prefixes type:Enhancement#60 opened
Sep 5, 2018 by thewtex
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.