Git procedure for contributing
mainFollow these steps to manage your development environment and branches:
- Fork and Clone: Fork the examples-internal repo and clone it locally.
- Branching Strategy:
- For generic or old-version updates: Create a branch off
main. - For release candidate examples (version #.#): Create a branch off
work_#.#.
- For generic or old-version updates: Create a branch off
- Workflow:
git clone --branch <main|work_#.#> https://github.com/<my_account>/examples-internalgit checkout -b <branch_name>- Perform
addandcommitoperations. git push -u origin <branch_name>
- Building Documentation:
- Use
maketo create a full-document PDF. - Use
make diffto create a PDF showing only the differences.
- Use
- Submission:
- Submit an issue (ideally including a diff PDF) before submitting a pull request.
git clone --branch <main|work_#.#> https://github.com/<my_account>/examples-internal
git checkout -b <branch_name>
# ... add and commit ...
git push -u origin <branch_name>
make
# or
make diff