@codebrainz: thanks, did not know that I can rename branches. I'll try to remeber that if I get to the same situation again. Now I got the new PR open anyway so I will keep that.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.