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 > <[email protected]>: > > > >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 > > > _______________________________________________ > [email protected] mailing list > UNSUBSCRIBE and account-management -> > https://urldefense.com/v3/__https://lists.puredata.info/listinfo/pd-list__;!!Mih3wA!GcHVm4jtwx1T19IB9JQHmV11iR85xrUJhVxlJRa9TjRjFJfb_PoRcdFhS7bbl2wGv_EydVQ3PJoa$ > _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
