Changes between Initial Version and Version 2 of Ticket #52763
- Timestamp:
- Jan 23, 2017, 6:32:25 AM (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #52763
-
Property
Type
changed from
defect
toenhancement
-
Property
Summary
changed from
Git: post-commit-hook should check whether mentioned PR IDs do exist
toGit: pre-commit-hook should check whether mentioned PR IDs do exist
-
Property
Type
changed from
-
Ticket #52763 – Description
initial v2 1 A p ost-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.1 A 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.