Aha... so the real problem is that I can't seem to push the tag I added
locally to the head up to github.  It looks like I have to tag the commit
before pushing, because tagging afterward fools git into thinking everything
is already pushed.  Live and learn...

M
On Sun, Oct 23, 2022 at 08:04:06PM +0200, IOhannes m zmölnig wrote:
> Am 23. Oktober 2022 19:49:10 MESZ schrieb Claude Heiland-Allen <claude@mathr.co.uk>:
> >
> >On 23/10/2022 15:27, Miller Puckette via Pd-list wrote:
> >> On Sat, Oct 22, 2022 at 04:45:00PM -0300, Alexandre Torres Porres wrote:
> >>> all good, but mac binary comes out as "Pd-0.53-0test1-80-g20334410"
> >>>
> >
> >I think this is probably related to "git describe" getting into the version string somehow.
>
> Exactly.
> This is how the version string is generated for the dmg (and other artifacts created by the CI)
>
>
> mfg.sfg.jfd
> IOhannes
>
>
> _______________________________________________
> Pd-list@lists.iem.at mailing list
> UNSUBSCRIBE and account-management -> https://urldefense.com/v3/__https://lists.puredata.info/listinfo/pd-list__;!!Mih3wA!GcHVm4jtwx1T19IB9JQHmV11iR85xrUJhVxlJRa9TjRjFJfb_PoRcdFhS7bbl2wGv_EydVQ3PJoa$ 



_______________________________________________
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list