You can push tags with git push --tags
Le dim. 23 oct. 2022 à 20:13, Miller Puckette via Pd-list < [email protected]> 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 < > [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 >
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
