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.
Good trick, done.
--- 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/1146#issuecomment-234668285