Skip to content

Allow unauthorized users to use the has-merge-commits label#119938

Merged
bors merged 1 commit intorust-lang:masterfrom Noratrieb:has-merge-commits-unauthenticatedJan 14, 2024

Commits

Commits on Jan 13, 2024