Handle branch deletion

Author: visortelle

.github/workflows/branch-deleted.yml

@@ -15,4 +15,3 @@ jobs:
       - name: Remove deployment for deleted branch
         run: |
           ./.github/workflows/deployment/delete.sh ${{ github.event.ref }}
-          ./.github/workflows/deployment/update-deployments-list.sh

.github/workflows/build.yml

@@ -50,4 +50,3 @@ jobs:
       - name: Deploy site
         run: |
           ./.github/workflows/deployment/deploy.sh
-          ./.github/workflows/deployment/update-deployments-list.sh

.github/workflows/deployment/commons.sh

@@ -17,3 +17,43 @@ export -f slugify
 
 git config user.name github-actions
 git config user.email github-actions@github.com
+
+update_deployments_list() {
+  github_project_url=$(git remote get-url origin)
+  if [[ $github_project_url == git@github.com:* ]]; then
+    github_repo=$(echo ${github_project_url#"git@github.com:"} | sed 's/\.git$//g')
+  elif [[ $github_project_url == https://github.com/* ]]; then
+    github_repo=$(echo ${github_project_url#"https://github.com/"} | sed 's/\.git$//g' | sed 's/^\/\///g')
+  fi
+
+  github_repo_owner=$(echo "${github_repo}" | sed 's/\/.*$//g')
+  github_repo_name=$(echo "${github_repo}" | sed 's/^.*\///g')
+
+  deployments_list="DEPLOYMENTS.md"
+  echo "Updating ${deployments_list}"
+  rm $deployments_list
+
+  # Create a markdown table
+  touch $deployments_list
+  echo "# Deployments" >>$deployments_list
+  echo "" >>$deployments_list
+  echo "| Branch | Link |" >>$deployments_list
+  echo "| --- | --- |" >>$deployments_list
+
+  main_deployment_url="https://${github_repo_owner}.github.io/${github_repo_name}/"
+  echo "| [${main_git_branch}](https://github.com/${github_repo_owner}/${github_repo_name}/tree/${branch}) | [Open](${main_deployment_url}) |" >>$deployments_list
+
+  remote_branches=$(git ls-remote --heads origin | sed 's?.*refs/heads/??' | grep -v "gh-pages" | grep -v "${main_git_branch}")
+  echo "$remote_branches" | while IFS= read -r branch; do
+    branch_slug=$(slugify $branch)
+    deployment_url="https://${github_repo_owner}.github.io/${github_repo_name}/branches/${branch_slug}"
+    echo "| [${branch}](https://github.com/${github_repo_owner}/${github_repo_name}/tree/${branch}) | [Open](${deployment_url}) |" >>$deployments_list
+  done
+
+  # Update gh-pages branch
+  git add --all
+  git commit --allow-empty -m "Update ${deployments_list} [ci skip]"
+  git push --force origin gh-pages
+}
+
+export -f update_deployments_list

.github/workflows/deployment/delete.sh

@@ -18,3 +18,5 @@ git add --all
 git commit --allow-empty -m "Delete '$1' branch deployment [ci skip]"
 git push --force origin gh-pages
 echo "Deployment for branch '$1' has been deleted."
+
+update_deployments_list

.github/workflows/deployment/deploy.sh

@@ -54,3 +54,4 @@ deploy() {
 }
 
 deploy
+update_deployments_list