Skip to content

Small changes to recommendations on making PRs from the GitHub UI#139

Merged
bcumming merged 1 commit intoeth-cscs:mainfrom
msimberg:contributing-prs-from-github
Jun 5, 2025
Merged

Small changes to recommendations on making PRs from the GitHub UI#139
bcumming merged 1 commit intoeth-cscs:mainfrom
msimberg:contributing-prs-from-github

Commits

Commits on Jun 5, 2025