.github/workflows/update-sources.yml

   1 name: update-sources
   2
   3 on:
   4   push:
   5     branches:
   6       - master
   7
   8 jobs:
   9   update-sources:
  10     runs-on: ubuntu-latest
  11     steps:
  12       - uses: actions/checkout@v4
  13
  14       - name: Install GNU Global
  15         run: sudo apt-get install -y global exuberant-ctags python3-pygments
  16
  17       - name: Checkout source repo
  18         uses: actions/checkout@v4
  19         with:
  20           repository: MidnightCommander/source
  21           path: HTML
  22           ref: gh-pages
  23           ssh-key: ${{ secrets.SOURCE_DEPLOY_KEY }}
  24
  25       - name: Create sources index
  26         run: |
  27           pushd HTML
  28             git rm -rf *
  29           popd
  30
  31           gtags
  32           htags --suggest -t "Welcome to the Midnight Commander source tour!"
  33           ./maint/htagsfix
  34
  35       - name: Deploy to GitHub
  36         run: |
  37           cd HTML
  38
  39           touch .nojekyll
  40           echo "source.midnight-commander.org" > CNAME
  41
  42           git config user.name "GitHub Actions"
  43           git config user.email "github@midnight-commander.org"
  44
  45           git add .
  46           git commit -m "Deploy to GitHub Pages"
  47
  48           git push --force-with-lease