Skip to content

Prevent @bors try- from being used#188

Merged
pietroalbini merged 1 commit intorust-lang:masterfrom
Noratrieb:remove-more-forbidden-knowledge
Jan 5, 2023
Merged

Prevent `@bors try-` from being used#188
pietroalbini merged 1 commit intorust-lang:masterfrom
Noratrieb:remove-more-forbidden-knowledge

Commits

Commits on Dec 14, 2022