> Weird, I thought this was already merged so didn't comment, since I got a > commit mail about it. I guess it's because the branch was made on the main > repo instead of a fork?
Yes. You can see the branch in the top of the body of the mail. Usually this is master but when the branch is in the main repo instead of a fork, commit mails are sent as well. > Anyway, if we do this, committer or merger should delete the branch after so > we don't have too many useless branches clogging up the Githubs. Agreed. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/2460#issuecomment-611432158
