oops, no, it seems to be alive after all. I just pushed without a problem.
On Saturday, January 21, 2017 at 6:14:51 PM UTC, Dima Pasechnik wrote:
>
> and nuked the trac git repo, along the way, it seems:
>
> some branch(es) are gone, and
>
> $ git push trac HEAD:public/maxima5390bis
> error: una
and nuked the trac git repo, along the way, it seems:
some branch(es) are gone, and
$ git push trac HEAD:public/maxima5390bis
error: unable to push to unqualified destination: public/maxima5390bis
The destination refspec neither matches an existing ref on the remote nor
begins with refs/, and w
Done
On Thursday, January 19, 2017 at 9:48:58 AM UTC+1, Jori Mäntysalo wrote:
>
> Could someone close all 49 wontfix-positive_review -tickets?
>
> IMO it would be nice to have this done after every stable release.
>
> --
> Jori Mäntysalo
>
--
You received this message because you are subscri
+1, please
Le jeudi 19 janvier 2017 09:48:58 UTC+1, Jori Mäntysalo a écrit :
>
> Could someone close all 49 wontfix-positive_review -tickets?
>
> IMO it would be nice to have this done after every stable release.
>
> --
> Jori Mäntysalo
>
--
You received this message because you are subscrib
