Retire wg-grammar

[ehuss]

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

[rylev]

r? @eddyb

[rylev]

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.

[ehuss]

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.

[eddyb]

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))

[Kobzol]

The wg-grammar repo now has the deprecation notice (rust-lang/wg-grammar#70). eddyb has asked for gll to be moved back under his org, so I suggest to remove gll from team, so that it can be moved out without sync-team recreating it.

[eddyb]

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).

[ehuss]

Sure! I have removed gll, and I think it should be safe to transfer it.

[Kobzol]

Ah, I didn't realize that gll wasn't even tracked before this PR. Yeah, so in that case we can transfer it independently of this PR.