Merge pull request #211 from dnephin/add-merge-main-workflow

Add github action for merging main branch