On 02/26/2018 10:49 AM, enh wrote: > Did you forget to push again? I'm not seeing anything on GitHub yet...
Sigh. My releases.txt checklist says "git push --tags" but if you do that without having done a "git push" first, the repo says you're up to date even when you have unpushed commits. Have I mentioned git's user interface keeps finding new ways to be terrible? Rob _______________________________________________ Toybox mailing list Toybox@lists.landley.net http://lists.landley.net/listinfo.cgi/toybox-landley.net