RFR: 755: Anything starting with a "/" is treated as a command
Erik Joelsson
erikj at openjdk.org
Fri Feb 24 16:34:45 UTC 2023
On Fri, 24 Feb 2023 14:38:34 GMT, Vijay Kulkarni <duke at openjdk.org> wrote:
> 755: Anything starting with a "/" is treated as a command
I did a search on github `org:openjdk "for a list of valid commands use"` and from the first handful of hits, it seems about even between good and bad matches. The good matches do seem really useful. Common misspellings are "/labels" and "/intergrate". So maybe we still need some kind of suggestion posted. Another consequence of the proposed change is that any misspelled attempt will now also be emailed.
-------------
PR: https://git.openjdk.org/skara/pull/1479
More information about the skara-dev
mailing list