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: Jan 31 2023 at 10:01 UTC