Category
Docs
Last edited by
guy
Last edited time
Dec 4, 2022 10:56 PM
- Clone the repo. Ask guy or Silo Chad if you don’t have access.
git clone [REDACTED]
- Change directories into the repo you just cloned.
cd [REDACTED]/
- Fetch all remote branches
git fetch --all
- Switch to the
dev
branch
git checkout dev
- Fetch all new changes from dev in the event you didn’t just clone the repo for the first time.
git pull
- Create a new branch—indicate that these are copy changes in the branch name.
git checkout -b copy-MM-DD
- Make changes in your text editor of choice, like VS Code.
- Add all the changes in your current directory.
git add .
- Commit the changes and prefix the message with
copy
.
git commit -m "copy: updating docs links"
- Push the changes to GitHub.
git push --set-upstream origin copy-MM-DD
- Go to the UI GitHub repo and when prompted, click Compare & pull request.
- IMPORTANT: Set the base branch to
dev
and click Create pull request.
- Wait for all the checks to pass.
- Ask guy to review and merge the changes.