This describes all automatically discovered references by Github:
https://docs.github.com/en/get-started/writing-on-github/working-with-advanced-formatting/autolinked-references-and-urls#issues-and-pull-requests
You can automatically link issues with cour commit/pr:
https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue
Whenever you use
#ISSUE-NUMBER
-or-
OWNER/REPOSITORY#ISSUE-NUMBER
in your commit message it will generate automatically a link in the
github UI.
By the way, all of this is nothing specific to *platform* you can simply
type in your favorite search engine:
github <can i do this or that>
and you will get hundred of blogpost, stack overflows telling you if and
how it works, for example this was answered 12 years ago:
https://stackoverflow.com/questions/1687262/link-to-the-issue-number-on-github-within-a-commit-message
Am 24.03.22 um 16:09 schrieb Andrey Loskutov:
Am 24. März 2022 14:07:12 MEZ schrieb Aleksandar Kurtakov <akurt...@redhat.com>:
1. All the commits should have an issue, created in the same
repository, number associated with them
1. <description of change> #<issue number>
I don't think it is necessary to have issues for each commit(more of an PR
as it may be multiple commits). With Github PR and issue are practically
the same in terms of references (even share the same number sequence). If
the concern is that PR is not reopenable it's better to open an issue later
if there is an actual issue with the PR rather than create really empty
issues that just hold reference to PR.
That would work for trivial commits.
For all non trivial ones the problem not to have issue in commits is that there
is no other reference to it in git history, so we will miss the context.
Ideally some action could automatically add the full issue/PR url to git commit
headers, like gerrit it does.
Is there anything like this for github?
--
Kind regards,
Andrey Loskutov
https://www.eclipse.org/user/aloskutov
Спасение утопающих - дело рук самих утопающих
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev