Skip to content

fix: Catch git push error and print a helpful message#354

Open
NotNahid wants to merge 1 commit intoalichtman:mainfrom
NotNahid:main
Open

fix: Catch git push error and print a helpful message#354
NotNahid wants to merge 1 commit intoalichtman:mainfrom
NotNahid:main

Commits

Commits on Dec 25, 2025