Eli Zaretskii <e...@gnu.org> writes: >> We generally rebase before pushing, to keep the git history as linear as >> reasonably possible. > > May I suggest to have this in HACKING, including the (probably > necessary) "pull --rebase" that should go with it?
Sure, that makes sense. Would you like to propose a patch?
Thanks,
Mark
