cd mail-dmarc
.... make a change or two ...
git status ( see changes )
git diff ( show diffs )
git add ... ( stage changes )
git commit
If your changes are significant and might possibly involve more than one commit, create a branch first:
git checkout -b fix-knob-handle
... make changes ...
git commit
... make more related changes ...
git commit
When you are done making changes, push them to GitHub:
git push origin (push to your GitHub account)
When the new feature branch is no longer useful, delete it:
git branch -d fix-knob-handle
Submit your changes
git push origin master (push to your GitHub account)
Visit your fork on the GitHub web site. On the main page of your fork is a Pull Request button. That is how you submit your changes to the main repo. A collaborator will review your PR and either comment or merge it.
Check build status:
GitHub Actions automatically runs build tests when commits are pushed to GitHub, and sends notifications to the author(s) in case of failure. For everyone else, checking the build status after a push request is merged is a good idea.
Release
.release/do.sh
Keyboard Shortcuts
Global
s
Focus search bar
?
Bring up this help dialog
GitHub
gp
Go to pull requests
gi
go to github issues (only if github is preferred repository)