Cayetano Santos <csant...@inventati.org> writes: >>> What is the standard procedure in codeberg land to travel from a commit >>> to its corresponding pr ? Same for the other way round. >> >> I do not believe there is a way to do that in our model when the changes >> are merged manually due to GPG signing. >> >> At least I see no built-in way to get from the commit[0] to the PR[1] >> nor the other way around. > > #1740 mentions a go and back path between pr and commits. Question is if > this is valid for all contributors, beyond their status.
Hm, I have read the pull request description, and I am not sure how should work. Looking at the pull request #1744, the "Manually merged" does not seem to be an interactive element. So I am not sure how to navigate from the pull request to the matching commit. Would anyone happen to know where I am supposed to click? Tomas -- There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors.
