Use rfcbot style for FCPs in the prioritization agenda#1784

Merged

jackh726 merged 8 commits intorust-lang:masterfrom Urgau:compiler_fcp_details

Apr 23, 2024

+97-6

Commits on Mar 23, 2024

Fix rfcbot and also deserialize concerns
Urgau
committed

Commits on Mar 28, 2024

Commits on Apr 2, 2024

Only mention people under very specific circumstances
Urgau
committed

Commits on Apr 4, 2024

Fix fallback when we don't any FCP details
Urgau
committed

Commits on Apr 15, 2024

Remove (disable-by-default) mentions until formal decision

Urgau
and
apiraino
authored

Commits on Apr 23, 2024

Prefix rfcbot concerns with "concerns:" text
Urgau
committed