rfcbot-rs
rfcbot-rs copied to clipboard
rust-lang
Coordinates asynchronous decision making on Rust repositories. Status of tracked issues and PRs can be viewed at https://rfcbot.rs.
I'm not sure why but sometimes rfcbot unchecks checkboxes. I've seen it happen in the past once and again yesterday here: https://github.com/rust-lang/cargo/pull/6548#issuecomment-454504964. Note in the GitHub comment history it unchecked...
It would make us less likely to need to upgrade crates when updating the toolchain. We could probably get away from a `rust-toolchain` file altogether if it works.
As discussed in https://github.com/rust-lang/wg-governance/issues/38, I would like to streamline our rfcbot procedures as follows: First, **eliminate the "pre-FCP" period for fcp merge**. What this means is that when someone proposed...
An example: 1. @nikomatsakis asks for a merge in https://github.com/rust-lang/compiler-team/issues/279#issuecomment-646049311 2. rfcbot ignores because no T-* labels 3. @nikomatsakis adds T-compiler in https://github.com/rust-lang/compiler-team/issues/279#event-3458364669 4. rfcbot continues to do nothing, presumably...
We're currently at 9.6 in production, and it would be good to [upgrade](https://devcenter.heroku.com/articles/upgrading-heroku-postgres-databases#upgrading-with-pg-copy) that before too long.
As @cramertj requested in today's @rust-lang/lang meeting, if you have registered a concern on an FCP, it should not be listed in the list of things to do. Probably the...
Opening an issue per discussion at https://github.com/anp/rfcbot-rs/pull/197#discussion-diff-183131428R448. To save the rfc-pushers some time, it would be nice to auto-merge RFCs that are FFCPed (*finished-final-comment-period*). This is a complicated process which...
In a conversation, @nikomatsakis said: > (I wish that you could specify the team(s) to rfcbot as part of the command) Seems reasonable to me; we could reuse the mechanism...
In a long RFC/tracking issue, it can be really hard to find the post where rfcbot keeps track of checkboxes and concerns. Would it be possible for rfcbot to edit...
Took me a while to dig up this repository, meanwhile I remember the dashboard page fairly well.
