Merge pull request #22 from odersky/add-banner #31
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
| name: Step 0, Start | |
| # This step triggers after the learner creates a new repository from the template | |
| # This step sets STEP to 1 | |
| # This step closes <details id=0> and opens <details id=1> | |
| # This will run every time we create push a commit to `main` | |
| # Reference https://docs.github.com/en/actions/learn-github-actions/events-that-trigger-workflows | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - main | |
| # Reference https://docs.github.com/en/actions/security-guides/automatic-token-authentication | |
| permissions: | |
| # Need `contents: read` to checkout the repository | |
| # Need `contents: write` to update the step metadata | |
| # Need `pull-requests: write` to create a pull request | |
| contents: write | |
| pull-requests: write | |
| jobs: | |
| # Get the current step from .github/script/STEP so we can | |
| # limit running the main job when the learner is on the same step. | |
| get_current_step: | |
| name: Check current step number | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - id: get_step | |
| run: | | |
| echo "current_step=$(cat ./.github/script/STEP)" >> $GITHUB_OUTPUT | |
| outputs: | |
| current_step: ${{ steps.get_step.outputs.current_step }} | |
| on_start: | |
| name: On start | |
| needs: get_current_step | |
| # We will only run this action when: | |
| # 1. This repository isn't the template repository | |
| # 2. The STEP is currently 0 | |
| # Reference https://docs.github.com/en/actions/learn-github-actions/contexts | |
| # Reference https://docs.github.com/en/actions/learn-github-actions/expressions | |
| if: >- | |
| ${{ !github.event.repository.is_template | |
| && needs.get_current_step.outputs.current_step == 0 }} | |
| # We'll run Ubuntu for performance instead of Mac or Windows | |
| runs-on: ubuntu-latest | |
| steps: | |
| # We'll need to check out the repository so that we can edit the README | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 # Let's get all the branches | |
| - name: Create my-pages branch, initial Pages files, and pull request | |
| run: | | |
| echo "Make sure we are on step 0" | |
| if [ "$(cat .github/script/STEP)" != 0 ] | |
| then | |
| echo "Current step is not 0" | |
| exit 0 | |
| fi | |
| echo "Make a branch" | |
| BRANCH=my-pages | |
| git checkout -b $BRANCH | |
| echo "Create config and homepage files" | |
| touch _config.yml | |
| printf "%s\n%s\n%s\n\n" "---" "title: Welcome to my blog" "---" > index.md | |
| echo "Make a commit" | |
| git config user.name github-actions | |
| git config user.email [email protected] | |
| git add _config.yml index.md | |
| git commit --message="Create config and homepages files" | |
| echo "Push" | |
| git push --set-upstream origin $BRANCH | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| # Update README to close <details id=0> and open <details id=1> | |
| # and set STEP to '1' | |
| - name: Update to step 1 | |
| uses: skills/action-update-step@v1 | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| from_step: 0 | |
| to_step: 1 | |
| branch_name: my-pages |