Retire wg-grammar #1381
Retire wg-grammar #1381
Conversation
repos/archive/rust-lang/gll.toml
Outdated
| @@ -0,0 +1,6 @@ | |||
| org = "rust-lang" | |||
| name = "gll" | |||
| description = " GLL parsing framework." | |||
There was a problem hiding this comment.
Should we put something on the README and/or description explaining any detail about why this is archived? In other organizations I'm a part of, we make a habit of putting a prominent message in the README explaining where those looking at the repo should direct their attention.
There was a problem hiding this comment.
Sure! I posted rust-lang/gll#145 and rust-lang/wg-grammar#70. However, I'm not sure how active @eddyb is to be able to see this.
There was a problem hiding this comment.
However, I'm not sure how active @eddyb is to be able to see this.
My notifications are a disaster because I didn't get myself out of @rust-lang/compiler the moment I stopped being able to pay attention to them, so while I keep every GitHub email for posterity, I have no easy way to be notified when people want me to look at anything under rust-lang/.
You pretty much have to DM me on Zulip or Discord for the time being, sorry!
(I've been trying to fix it but life keeps handing me lemons - also, theoretically the @eddyb on GitHub may have been enough to bypass that but maybe I need to do more email automation because I don't remember the GH mobile app catching it, and it's also terrible in other ways)
Also, IMO gll does not belong in rust-lang/, it's a toy parsing library developed originally under the @LykenSol org and it got moved because wg-grammar wanted some level of "vendoring". Completely unnecessary and it would be best to move it back if that's an option. (see also rust-lang/gll#145 (comment))
|
The |
|
Oops, raced a bit with @Kobzol's comment, I left mine further above as a review comment (#1381 (comment)), leaving this note here so it doesn't get missed (tho it mostly just adds more context, the conclusion is the same). |
|
Sure! I have removed gll, and I think it should be safe to transfer it. |
|
Ah, I didn't realize that |
wg-grammar has not met in several years, so I think it is time to go ahead and retire it. I don't foresee it starting up again. Also, I'm presuming that the spec team will be picking up this work in some form.
cc @rust-lang/wg-grammar
cc @rust-lang/spec