Skip to content

Instantly share code, notes, and snippets.

@rajtilakjee
Created February 16, 2023 05:13
Show Gist options
  • Save rajtilakjee/4528e0df65cd0a29567e352d02f5ee4a to your computer and use it in GitHub Desktop.
Save rajtilakjee/4528e0df65cd0a29567e352d02f5ee4a to your computer and use it in GitHub Desktop.
Batch file to push simple changes from local repo to remote.
@echo off
cd "C:\prod\local-repo"
git add .
set /p input="Name the commit: "
git commit -m "%input%"
git push origin main
cd ..
@rajtilakjee
Copy link
Author

  1. Change the "C:\prod\local-repo" path to your local repository.
  2. Git and GitHub CLI must be installed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment