libpd/libpd — comment on commit 4425e8294f3d736f66b63b01b6743ecddc8f9888
File:  line 0
By reakinator:

if you use rebase (i.e., git pull --rebase origin master) before pushing your commit, you will avoid these confusing duplicate merges.