Add trigger for push to `main` branch for sync'ing with `master`#2387

Merged

pvdrz merged 2 commits intorust-lang:masterfrom

ferrous-systems:amanjeev/set-default-branch-as-main

Jan 16, 2023

Commits on Jan 11, 2023

gh action for merging main to master on pr merge
amanjeev
committed
remove pull_request as trigger. only use push, that is after merging the pull_request
amanjeev
committed