Open RalfJung opened 6 years ago
Oh, and as a bonus (but less important), accepting rollup+
as well as rollup
would be nice :)
I think it's better just let homu recognize rollup+
, try+
and treeclosed+
.
This is a good first issue for somebody new to Homu.
A little guidance for somebody taking this task:
body
variable to a comment you might expect – one that includes a @bors retry+
command.python3 setup.py test
.{commandname}+
syntax and make the same changes for those commands.and
treeclosed+
.
@kennytm What does this even mean if there's no priority?
It would mean treeclosed=1
@kennytm I would always like that to scream loudly that I've done something wrong because >= 1
is entirely ineffective.
I have no mental model as to why some things have a +
suffix and some don't.
I mean, treeclose-
is a thing, right? So then not having treeclose+
seems really weird?
@RalfJung treeclosed-
means that you remove the previous treeclosed=P
. If you use rollup-
it means removing the rollup annotation; but treeclosed+
meaning treeclosed=1
is "a bug" from a UX perspective of the person doing the treeclosing. If treeclosed+
was equivalent to treeclosed=500
I would be fine with it.
So treeclosed=0
is not "un-closing" the tree? That is surprising, too.
I don't know; I've never tried it :)
I recently issued the command
@bors r+ rollup+
, because I have seen plenty of cases where one has to add a+
after a command to make it happen. Not so for rollup, it seems, but bors also did not complain. Can we get error messages when there is aword+
orword-
but bors does not actually recognize this as a command?