Can't you git push --force ?
On Sat, Feb 4, 2017 at 12:34 AM, Allin Cottrell <cottrell(a)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(a)lists.wfu.edu
http://lists.wfu.edu/mailman/listinfo/gretl-devel