Skip to main content
After making changes to the documentation in code, you need to commit and push those changes to the repository.

​
Steps

  1. Navigate to the docs directory:
cd /path/to/docs
  1. Stage all changes:
git add -A
  1. Commit with a descriptive message:
git commit -m "your commit message here"
  1. Push to the remote repository:
git push

​
Resolving Push Conflicts

If git push fails due to remote changes, rebase your local commits on top of the latest changes: 
git pull --rebase origin main
Then push again: 
git push