trivial: Fix github repo branch name from 'master' to 'main'

trivial: Fix github repo branch name from 'master' to 'main' #1742