Hi! No Itisnt <theseaisinh...@gmail.com> writes:
> Whoops ! Due to my misunderstanding of 'git push' I committed this to > master. I had already committed it to master locally so after I merge > it, I guess it pushed my master changes as well when I was trying to > push my lua branch. I pushed changes after you pushed your merge commit, so we’ll leave it here and commit changes depending on the outcome of our discussions. Git can sometimes be confusing. There are commands like this for which I’ve always checked the man page before hitting RET. ;-) Thanks, Ludo’.
