9 Feb
2023
9 Feb
'23
12:05 a.m.
On Wed, 8 Feb 2023 23:22:43 +0100, "Richard B. Kreckel" <kreckel@in.terlu.de> said: RK> PS: If anyone knows how to push a commit together with the tags RK> using git, do let me know. Yes, I've googled it up and tried RK> several things but it never worked.
I am not sure, that I have understood your question but I am pushing commits to my repositories from git-gui: in the pop-up dialogue there is a checkbox "with tags". -- Vladimir V. Kisil http://www1.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Maps https://doi.org/10.1142/p835 Soft: Geometry of cycles http://moebinv.sourceforge.net/ Jupyter notebooks: https://github.com/vvkisil?tab=repositories