Opened 9 years ago
Last modified 20 months 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: | cooljeanius (Eric Gallager) | |
| 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 (4)
comment:1 Changed 9 years ago by mkae (Marko Käning)
| Type: | defect → enhancement |
|---|
comment:2 Changed 9 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 9 years ago by mkae (Marko Käning)
comment:4 Changed 20 months ago by cooljeanius (Eric Gallager)
| Cc: | cooljeanius added |
|---|
Note: See
TracTickets for help on using
tickets.
This could be part of #52770.