Remove malware rumors link from scope guide #9
This file contains hidden or 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: Mirror to SourceForge | |
| on: | |
| push: | |
| branches: | |
| - master | |
| workflow_dispatch: # allow manual runs | |
| concurrency: | |
| group: mirror-sourceforge-master | |
| cancel-in-progress: true | |
| permissions: | |
| contents: read | |
| jobs: | |
| mirror: | |
| if: github.ref == 'refs/heads/master' # prevent other branches from mirroring | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v6 | |
| with: | |
| fetch-depth: 0 # full history instead of a shallow clone | |
| persist-credentials: false | |
| - name: Setup SSH | |
| env: | |
| # private key from GitHub Actions secrets | |
| SOURCEFORGE_SSH_KEY: ${{ secrets.SOURCEFORGE_SSH_KEY }} | |
| run: | | |
| # require the private key | |
| if [[ -z "${SOURCEFORGE_SSH_KEY}" ]]; then | |
| echo "Missing SOURCEFORGE_SSH_KEY repository secret." | |
| exit 1 | |
| fi | |
| # create the SSH directory | |
| mkdir -p "${HOME}/.ssh" | |
| chmod 700 "${HOME}/.ssh" | |
| # write and normalize the private key | |
| printf '%s\n' "${SOURCEFORGE_SSH_KEY}" | tr -d '\r' > "${HOME}/.ssh/sourceforge" | |
| chmod 600 "${HOME}/.ssh/sourceforge" | |
| # add SourceForge to known hosts | |
| ssh-keyscan -H git.code.sf.net >> "${HOME}/.ssh/known_hosts" | |
| - name: Configure Git Remote | |
| run: | | |
| # add the SourceForge mirror remote | |
| git remote add sourceforge ssh://jessuppi@git.code.sf.net/p/slickstack/code | |
| - name: Push to SourceForge | |
| env: | |
| GIT_SSH_COMMAND: ssh -i "${HOME}/.ssh/sourceforge" -o IdentitiesOnly=yes -o BatchMode=yes -o StrictHostKeyChecking=yes | |
| run: | | |
| # mirror GitHub master to SourceForge | |
| git push sourceforge +HEAD:refs/heads/master |