Do not merge: check if we sometimes fail to get snippets#13941

samueltardieu wants to merge 1 commit intorust-lang:masterrust-lang/rust-clippy:masterfrom

samueltardieu:push-zlrztsxvwkmxsamueltardieu/rust-clippy:push-zlrztsxvwkmxCopy head branch name to clipboard