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
Any ideas what I can do about this?
Coqbot likes it now, it has removed the label
@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