You can push tags with git push --tags
Le dim. 23 oct. 2022 à 20:13, Miller Puckette via Pd-list < pd-list@lists.iem.at> a écrit :
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__;!...
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list