Open westurner opened 2 months ago
To pull a Pull Request Branch: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally :
git clone ssh://git@github.com/org/repo
git fetch origin pull/ID/head:BRANCH_NAME
git switch BRANCH_NAME
@quobit thx and would it be cool if I cc the awesome-python-in-education .md to the mailing list like people used to do before discuss.python.org? There's an EduSig wiki page. A "LearningResources" wiki page or similar may be redundant. It wouldn't make sense to call it 'AwesomePythonInEducation' as a Python wiki page because awesome lists are made of PRs.
Someone may want to take up maintainership of the awesome-python-in-education resource? I'll leave this fork here. Someday: