File tree 1 file changed +6
-2
lines changed 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -31,13 +31,16 @@ jobs:
31
31
- name : Build documentation
32
32
run : mkdocs build
33
33
34
- # Step 5: Initialize Git repository if not already done
35
- - name : Initialize Git repository
34
+ # Step 5: Check if the .git directory exists
35
+ - name : Check if .git directory exists
36
36
run : |
37
37
if [ ! -d ".git" ]; then
38
+ echo "Initializing git repository..."
38
39
git init # Initialize Git repository if it's not already initialized
39
40
git remote add origin git@github.com:ProdByGodfather/abarorm.git # Add remote repository
40
41
git fetch origin # Fetch from the remote repository to get history
42
+ else
43
+ echo ".git directory exists."
41
44
fi
42
45
43
46
# Step 6: Checkout or create the 'site' branch
67
70
# Step 8: Commit changes if there are any
68
71
- name : Commit changes
69
72
run : |
73
+ git status # Check current status
70
74
git add .
71
75
git diff-index --quiet HEAD || git commit -m "Update documentation"
72
76
You can’t perform that action at this time.
0 commit comments