P0nk 4004b36bfa Tag the merge commit instead of last commit in the PR ...

The merge commit is more suitable since it provides some context
and groups up all the commits.

2022-10-16 11:53:29 +02:00

504 B

Raw Blame History

View Raw