Hi all (but sorry, Iohannes really) -
I'm back i nteh state where I can't push to github (I'm merging stuff on my own machine and "git push origin --tags" says it's synced but github still doesn't see the new commits I've made, or the tags. So now I'm making a new branch "pure-data/temporary-merge", pushing that successfully, then whacking buttins on the github site to merge it into master. This is stupid and I'd like to find the underlying problem but I'm stumped at the moment.
Meanwhile, though, I've managed now to get github to see my "0.53-0test3" commit, and its tag, but now it doesn't show up on the CI system at https://git.iem.at/pd/pure-data/-/pipelines.
... I think this might be related to the first problem and the way I'm trying to work around it, but I could be wrong about that.
Anyhow, if anyone can tell me what I have to do now to get the CI system to see and compile 0.53-0test3 I'd love to hear it.
thanks Miller