Stream: coqbot devs & users

Topic: backports


view this post on Zulip Enrico Tassi (Nov 19 2020 at 13:10):

I did just git push upstream somehash:v8.13 and coqbot did not move cards (eg see 12653). What did I do wrong?

view this post on Zulip Théo Zimmermann (Nov 19 2020 at 16:29):

In the case of this PR the following happened:

view this post on Zulip Théo Zimmermann (Nov 19 2020 at 16:29):

I'll fix this case manually. Are there other PRs that are impacted?

view this post on Zulip Enrico Tassi (Nov 19 2020 at 16:35):

No, I think I removed only 2 by mistake


Last updated: Mar 03 2024 at 16:02 UTC