Stream: Coq devs & plugin devs

Topic: PR requests rebase, but I am up to date


view this post on Zulip Michael Soegtrop (May 26 2021 at 10:25):

I have an issue with PR (https://github.com/coq/coq/pull/14081). Coqbot says that I need to rebase, but I did a rebase:

$ git fetch origin
$ git rebase origin/master
Current branch ltac2_lazy_bool is up to date.
$ git push -f msoegtrop
Everything up-to-date

The top commit in my log below my commit is a2cecb3477d8647afb3fd2df4274de16100bcbf0.

Any ideas what I can do about this?

view this post on Zulip Enrico Tassi (May 26 2021 at 10:28):

Coqbot likes it now, it has removed the label

view this post on Zulip Michael Soegtrop (May 26 2021 at 15:34):

@Enrico Tassi : sorry I guess I just didn't read the message properly - I guess it did say that it removed the needs rebase flag. This was inspired by CI asking for a rebase, but this went away with a CI rerun. So Coqbot seems indeed fine.


Last updated: Oct 21 2021 at 20:02 UTC