👍🎉 First off, thanks for taking the time to contribute! 🎉👍
When contributing to this repository, please first discuss the change you wish to make via issue, instant message in clara-agx chatbox, or any other method with the owners of this repository before making a change. Please note we have a code of conduct, please follow it in all your interactions with the project.
- Generate your SSH keys as suggested here
- Clone the repository by typing (or copying) the following lines in a terminal
git clone [email protected]:mxochicale/tools.git
- Open an issue (bug report, feature request, or something is not working): https://github.com/mxochicale/tools/issues/new/choose
- Workflow for issue management
flowchart TD;
Z[Bug Reported] -->A[...];
A[Bug resolution] -->B(Testing OK?);
B--Yes-->C[Prepare commit];
B--No-->D[Reopen issue];
D----> A[Bug resolution];
C ----> E[Request Review];
E ----> F[Commit changes];
F --> H[Merge PR and close issue]
- Clone this repo
git clone [email protected]:mxochicale/tools.git
- Create new branch using issue number
git checkout -b ISSUENUMBER-branch-name
- Commit changes and push to your branch
git add .
git commit -m 'short message (#ISSUENUMBER)'
git push origin ISSUENUMBER-branch-name
- Submit a Pull Request against the
main
branch.
- Select branch that contain your commits.
- Click
Compare and pull request
and create PR for the associated branch. - Type a title and description of your PR and create PR
- Please keep your PR in sync with the base branch.
git checkout main
git pull origin main
git checkout RB
git rebase main
git push --force origin RB
- Run
pre-commit
to tidy up code and documentation (see next section). - Request a PR review. See collaborating-with-pull-requests for further details.
- Once your PRs has been approved, procced to merge it to main. See Merging a pull request
- Remove your merged branch from your repo and in the list of https://github.com/mxochicale/tools/branches
#Local git clear
git branch --merged | grep -v '\*\|master\|main\|develop' | xargs -n 1 git branch -d
#Remote git clear
git branch -r --merged | grep -v '\*\|master\|main\|develop' | sed 's/origin\///' | xargs -n 1 git push --delete origin