(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.