Changes between Initial Version and Version 2 of Ticket #52763


Ignore:
Timestamp:
Jan 23, 2017, 6:32:25 AM (7 years ago)
Author:
mkae (Marko Käning)
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #52763

    • Property Type changed from defect to enhancement
    • Property Summary changed from Git: post-commit-hook should check whether mentioned PR IDs do exist to Git: pre-commit-hook should check whether mentioned PR IDs do exist
  • Ticket #52763 – Description

    initial v2  
    1 A post-commit-hook checking whether a GitHub pull request ID (like {{{#123}}}) actually exists for the main repository seems like a valuable feature, especially in the transition phase.
     1A pre-commit-hook checking whether a GitHub pull request ID (like {{{#123}}}) actually exists for the main repository seems like a valuable feature, especially in the transition phase.