You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Johannes Schindelin 7d78d5fc1a ci: skip GitHub workflow runs for already-tested commits/trees 4 years ago
..
workflows ci: skip GitHub workflow runs for already-tested commits/trees 4 years ago
CONTRIBUTING.md docs: mention MyFirstContribution in more places 5 years ago
PULL_REQUEST_TEMPLATE.md