Bot failures do to main/master mismatches have been fixed

The developer bots were failing in cases where main was the default branch, but the but was incorrectly assuming that master was the default branch. This has been fixed. Now, either main or master, or any other default branch name will work.