bellande_humanoid_robot_int.../push.sh
2023-09-27 09:45:50 -04:00

5 lines
141 B
Bash
Executable File

#!/bin/bash
# Git push what is already in the repository
git pull --no-edit; git fetch; git add .; git commit -am "latest pushes"; git push