2022-01-20 22:25:54 +01:00
|
|
|
name: 'Release'
|
|
|
|
|
on:
|
|
|
|
|
pull_request:
|
|
|
|
|
branches: [master]
|
2022-01-23 22:32:58 +01:00
|
|
|
types: [closed]
|
2022-01-20 22:25:54 +01:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
release:
|
|
|
|
|
if: github.event.pull_request.merged == true
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: 'Check out Git repository'
|
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
|
|
|
|
|
- name: 'Generate shell files'
|
|
|
|
|
run: make generate
|
|
|
|
|
|
|
|
|
|
- name: 'Commit generated files'
|
|
|
|
|
if: ${{ success() }}
|
|
|
|
|
run: |
|
|
|
|
|
git config user.name 'github-actions'
|
|
|
|
|
git config user.email 'github-actions@github.com'
|
|
|
|
|
git add lscolors.sh lscolors.csh
|
|
|
|
|
git commit -m "Update shell files" || echo "No changes to commit"
|
|
|
|
|
git push
|
