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__;!...