fix: auto-configure git credentials after gh auth#17

skulidropek wants to merge 1 commit intomainProverCoderAI/docker-git:mainfrom

issue-14-fixProverCoderAI/docker-git:issue-14-fixCopy head branch name to clipboard