add working group for Field Projections#2510
Conversation
|
This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed. Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers. |
|
ugh why is the github default a merge... |
d2ead0f to
734999b
Compare
Dry-run check results |
|
Oh I thought working groups weren't a thing anymore. Fun :) |
| zulip-stream = "t-lang/custom-refs" | ||
|
|
||
| [[zulip-groups]] | ||
| name = "field-projections" |
There was a problem hiding this comment.
Suggestion: by convention, zulip groups typically use T-* prefix for teams, and WG-* prefix for working groups. Maybe this should be WG-field-projections for consistency?
There was a problem hiding this comment.
I looked at wg-const-eval to see how they are done and there's no WG- prefix there :)
I'll add one here though
There was a problem hiding this comment.
Could it be that the prefix is added automatically? Because @WG-const-eval exists on Zulip
There was a problem hiding this comment.
And so does @const-eval, interestingly
There was a problem hiding this comment.
They have different descriptions x) I think they're not the right example to follow
734999b to
c5745d9
Compare
|
Thanks for taking a look Jieyou, let me know if anything else looks off, first time creating a working group :) |
c5745d9 to
8ca0ad5
Compare
Cc @tmandry @Nadrieril @dingxiangfei2009