Opened 8 years ago
Last modified 7 years 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.