Opened 5 years ago

Last modified 4 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 5 years ago by mkae (Marko Käning)

Type: defectenhancement

comment:2 Changed 4 years ago by mkae (Marko Käning)

Description: modified (diff)
Summary: Git: post-commit-hook should check whether mentioned PR IDs do existGit: pre-commit-hook should check whether mentioned PR IDs do exist

comment:3 Changed 4 years ago by mkae (Marko Käning)

This could be part of #52770.

Note: See TracTickets for help on using tickets.