|
|
|
@ -18,15 +18,15 @@ git_username=$(git config --get user.name)
|
|
|
|
|
git_useremail=$(git config --get user.email)
|
|
|
|
|
|
|
|
|
|
# Set git username and email if not set
|
|
|
|
|
if [ -z $(git config --get user.name) ]; then
|
|
|
|
|
if [ -z $(git config --get user.email) ]; then
|
|
|
|
|
echo "git-config: No user.email found, setting to ${CODER_EMAIL}"
|
|
|
|
|
git config --global user.email "${CODER_EMAIL}"
|
|
|
|
|
git config --global user.email ${CODER_EMAIL}
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ -z $(git config --get user.email) ]; then
|
|
|
|
|
if [ -z $(git config --get user.name) ]; then
|
|
|
|
|
echo "git-config: No user.name found, setting to ${CODER_USERNAME}"
|
|
|
|
|
git config --global user.name "${CODER_USERNAME}"
|
|
|
|
|
git config --global user.name ${CODER_USERNAME}
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
echo "git-config: using username: {$(git config --get user.name)}"
|
|
|
|
|
echo "git-config: using username: $(git config --get user.name)"
|
|
|
|
|
echo "git-config: using email: $(git config --get user.email)"
|
|
|
|
|