Closed Marenz closed 2 months ago
Updated:
Oh dear, it seems like I lost a in-process review. I will try to recreate what I remember. I suggest opening a new PR with the new commits, as they are not really necessary to be in this PR and we were close to finish the review. I have a few comments for the new commits and that will make merging this Pr more time consuming.
Oh, damn, I was logged with the wrong user to do some admin tasks... :facepalm:
I suggest opening a new PR with the new commits, as they are not really necessary to be in this PR and we were close to finish the review. I have a few comments for the new commits and that will make merging this PR more time consuming.
Added explanation for time bug
Awesome, thanks! Now I remember.
Responded to comment and removed the unrelated commits
Ok, LGTM then.
Re-opeening as github seems very bugged now.
Probably needs a rebase?
is_{active,dry_run}
.create()
return the new created dispatch