Skip to content

Merge pull request #273 from filintod/also-remove-cr-from-file #39

Merge pull request #273 from filintod/also-remove-cr-from-file

Merge pull request #273 from filintod/also-remove-cr-from-file #39

Workflow file for this run

name: Merge main into master
on:
push:
branches: [main]
jobs:
sync:
name: Merge main branch
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with: {fetch-depth: 0}
- name: merge
run: |
git checkout master
git merge --ff-only main
git push origin master