Warning: This page has not been updated in over over a year and may be outdated or deprecated.
developers_call:minutes20160426
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
developers_call:minutes20160426 [2016/04/26 13:16] – [2. Development Planning] demiankatz | developers_call:minutes20160426 [2016/04/26 13:19] – [2. Development Planning] demiankatz | ||
---|---|---|---|
Line 66: | Line 66: | ||
=== Git PR Tagging === | === Git PR Tagging === | ||
+ | After last week's call, Chris set up some useful default tags and tagged all outstanding pull requests. We may want to examine the permissions situation for adding tags, since right now most users do not have permission to use them. | ||
+ | Chris has also added a pull request template to the repository, which pre-fills the description of new pull requests. Not everyone likes this -- we should discuss further. | ||
+ | |||
+ | We are also looking into making better use of milestones within GitHub; more discussion to come. | ||
==== 3. Other Topics? ==== | ==== 3. Other Topics? ==== | ||
+ | None this week. | ||
===== Next Call ===== | ===== Next Call ===== | ||
developers_call/minutes20160426.txt · Last modified: 2016/04/26 13:28 by demiankatz