About Features Downloads Getting Started Documentation Events Support GitHub

Love VuFind®? Consider becoming a financial supporter. Your support helps build a better VuFind®!

Site Tools


Warning: This page has not been updated in over over a year and may be outdated or deprecated.
developers_call:minutes20160412

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
developers_call:minutes20160412 [2016/04/12 13:18] – [2. Development Planning] demiankatzdevelopers_call:minutes20160412 [2016/04/12 13:24] – [4. Other Topics?] demiankatz
Line 79: Line 79:
 ==== 4. Other Topics? ==== ==== 4. Other Topics? ====
  
 +=== Git PR Tagging ===
 +
 +Chris brought up the idea of standardizing our pull request labels so we can better keep track of when things are expected to be merged, who is supposed to be taking next steps, etc.
 +
 +Starting point: bug fix vs. new feature vs. discussion.
 +
 +One common pattern: tagging based on component (e.g. front-end vs. back-end) or technology (PHP vs. Javascript).
 +
 +One specific scenario: PR is submitted, but submitter never follows up on Demian's feedback, and Demian doesn't have time to fix it himself. Chris will look for a good precedent for naming for a tag for this situation.
 ===== Next Call ===== ===== Next Call =====
  
developers_call/minutes20160412.txt · Last modified: 2016/04/21 12:56 by demiankatz