Updated news page with new articles and changed featured stories to t… #43
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Push the `website/public` directory to the `gh-pages` branch. | |
# | |
# The 'main' branch of this repository is the source of truth for the website content. | |
# The gh-pages branch simply exists as a mirror of `website/public` directory | |
# of the `main` branch to serve that site content via GitHub pages. | |
# The `gh-pages` branch should never be edited directly, and should always be | |
# an exact mirror of the `website/public` directory on the `main` branch. | |
# This workflow performs that mirror, which then triggers another action | |
# on the `gh-pages` branch that deploys the site content to GitHub Pages. | |
name: Push website/public directory to gh-pages branch | |
# Run whenever the `website/public` folder in the `main` branch changes. | |
on: | |
push: | |
branches: | |
- 'main' | |
paths: | |
- 'website/public/**' | |
# Allow manual runs from the Actions tab | |
workflow_dispatch: | |
jobs: | |
push-gh-pages: | |
runs-on: ubuntu-latest | |
steps: | |
# Check out the repository | |
- uses: actions/checkout@v4 | |
# Push the `website/public` directory to `gh-pages` via `git subtree push` | |
- name: Push to gh-pages branch | |
run: git push origin `git subtree split --prefix website/public main`:gh-pages --force |