-
-
Notifications
You must be signed in to change notification settings - Fork 6.2k
Closed
Labels
type/proposalThe new feature has not been accepted yet but needs to be discussed first.The new feature has not been accepted yet but needs to be discussed first.
Description
Feature Description
After merging a PR in Gitea, it is possible to access the resulting commit from the PR, but it is not possible to find the PR from the commit.
This is extremely needed information when bisecting an issue, or writing changelogs, as one would want to easily find the discussion that led to a change.
Screenshots
In Github, the PR number is displayed next to the branch(es) containing the change:
kemzeb and hildickethan
Metadata
Metadata
Assignees
Labels
type/proposalThe new feature has not been accepted yet but needs to be discussed first.The new feature has not been accepted yet but needs to be discussed first.
