OK, I don't, but here's another idea: on the update script (or wherever you are doing this), we only allow specific people who are already very familiar with git to do merge commits.
Would this be reasonable? On Wed, Feb 27, 2013 at 11:44 AM, Tom Hacohen <tom.haco...@samsung.com> wrote: > On 27/02/13 14:38, Rafael Antognolli wrote: >> >> What about requiring push -f? > > > Do you know how to do that? I'd love having that. > > -- > Tom. > -- Rafael Antognolli http://antognolli.org/ ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_d2d_feb _______________________________________________ enlightenment-devel mailing list enlightenment-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/enlightenment-devel
