(I managed to push the branch by accident to Geany repo - I deleted it immediately after realizing it.)

If you want to avoid accidental push, you can make the origin read-only (e.g. git://), and have a different remote for actually pushing. That's what I have for GP for example.


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