... and the problem sems to be fixed now by some invisible hand, probably Iohannes :)
On Mon, Oct 24, 2022 at 08:15:23AM -0700, Miller Puckette via Pd-dev wrote:
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://urldefense.com/v3/__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
Pd-dev mailing list Pd-dev@lists.iem.at https://urldefense.com/v3/__https://lists.puredata.info/listinfo/pd-dev__;!!...