Can't you git push --force ?

On Sat, Feb 4, 2017 at 12:34 AM, Allin Cottrell <cottrell@wfu.edu> wrote:
On Fri, 3 Feb 2017, Allin Cottrell wrote:

Oof, someone (not me!) has done a premature merge of "gentest" into master and I'm afraid the code base is seriously messed up right now.

Hopefully git is smart enough that we can pull out of this before long. But if gretl won't build right now, you know what's happening.

git reset --hard cdd2fe

fixes my working copy of master, but I haven't yet figured how to propagate this back to sourceforge (commit/push doesn't work).


Allin

_______________________________________________
Gretl-devel mailing list
Gretl-devel@lists.wfu.edu
http://lists.wfu.edu/mailman/listinfo/gretl-devel