Commands to push a file to a repository are add, commit, push.

• Use 'git add ' to stage the changes

• Use 'git commit -m ' to commit the changes

• Use 'git push' to push the changes to the remote repository