> 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
