[PD-dev] CI doesn't see 0.53-0test3 commit? - apparently fixed

[Miller Puckette]

... 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__;!!Mih3wA!G6ieB8tZCVGhhGSzwBNULz5V_EuUFUn9eqyiETzBY89h2JZrAUqXKNYRDDVRCBfC3fPO8Q-ZUDISqmQ$  .
> 
> ... 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 at lists.iem.at
> https://urldefense.com/v3/__https://lists.puredata.info/listinfo/pd-dev__;!!Mih3wA!G6ieB8tZCVGhhGSzwBNULz5V_EuUFUn9eqyiETzBY89h2JZrAUqXKNYRDDVRCBfC3fPO8Q-ZPLFAPfM$