Opened 7 years ago
Last modified 7 years ago
#52763 new enhancement
Git: pre-commit-hook should check whether mentioned PR IDs do exist
Reported by: | mkae (Marko Käning) | Owned by: | larryv (Lawrence Velázquez) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | server/hosting | Version: | |
Keywords: | Cc: | ||
Port: |
Description (last modified by mkae (Marko Käning))
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.
Change History (3)
comment:1 Changed 7 years ago by mkae (Marko Käning)
Type: | defect → enhancement |
---|
comment:2 Changed 7 years ago by mkae (Marko Käning)
Description: | modified (diff) |
---|---|
Summary: | Git: post-commit-hook should check whether mentioned PR IDs do exist → Git: pre-commit-hook should check whether mentioned PR IDs do exist |
comment:3 Changed 7 years ago by mkae (Marko Käning)
Note: See
TracTickets for help on using
tickets.
This could be part of #52770.