Rust-clippy: Move into nursery
Any objections @llogiq @birkenfeld @mcarton @oli-obk @killercup ?
Manishearth
All 11 comments
Quite the contrary. Let's do this!
oli-obk
on 14 Jul 2017
:tada:
mcarton
on 14 Jul 2017
After moving, does the old repo address redirect? There are a lot of links to the current repo.
Regardless, I vote yay! Let's get clippy into nursery!
llogiq
on 15 Jul 2017
llogiq
on 15 Jul 2017
Yeah, Github will automatically redirect from old repo URLs to new ones.
llogiq notifications@github.com schrieb am Sa. 15. Juli 2017 um 07:53:
https://m.youtube.com/watch?v=hdcTmpvDO0I
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
https://github.com/Manishearth/rust-clippy/issues/1889#issuecomment-315512179,
or mute the thread
https://github.com/notifications/unsubscribe-auth/AABOX_nr1kqYHg-wHgNAO5Vn9R1iAr6Mks5sOFPbgaJpZM4OXjDh
.
killercup
on 15 Jul 2017
Just need admin on rust-lang-nursery to push this cc @nrc
Manishearth
on 21 Jul 2017
Done.
Manishearth
on 21 Jul 2017
Lmk if those of you with access still have it. You should.
Manishearth
on 21 Jul 2017
@Manishearth I think you can also drop the "rust" from the name now… "rust-lang-nursery/rust-clippy" has a bit of a stutter to it.
killercup
on 3 Aug 2017
@killercup should we rename the rustdocrepo to doc then, too?
llogiq
on 4 Aug 2017
@llogiq no, rename the clippy binary to rust-clippy of course :trollface:
killercup
on 4 Aug 2017
Related issues
icefoxen
·
3Comments
matthiaskrgr
·
3Comments
matthiaskrgr
·
3Comments
vitorenesduarte
·
3Comments
phansch
·
3Comments
Most helpful comment
Lmk if those of you with access still have it. You should.