j
k
j a
j l
For the records, when pushing manually a commit from a PR as it is, the initial author of the commit can be preserved via `git commit --author="..." ...`. The author can be taken from the patch of the PR.
Attachments:
Back to the thread
Back to the list