Opened 8 years ago
Last modified 2 months ago
#52763 new enhancement
Git: post-commit-hook should check whether mentioned PR IDs do exist — at Initial Version
Reported by: | mkae (Marko Käning) | Owned by: | larryv (Lawrence Velázquez) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | server/hosting | Version: | |
Keywords: | Cc: | ||
Port: |
Description
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.
Note: See
TracTickets for help on using
tickets.