DevTools repo branch permissions request

[elliette]

Request to give @elliette and @srawlins branch permissions for the flutter/devtools repo so that they can follow the steps listed in our CP instructions for merge-commits: https://github.com/flutter/devtools/blob/master/tool/RELEASE_INSTRUCTIONS.md#create-the-merge-commit-in-the-flutterdevtools-repo

1. Temporarily modify the settings of https://github.com/flutter/devtools to "allow merge
commits at the repo level and remove `require linear history`".
2. IMPORTANT: Merge <link to PR> as a MERGE COMMIT. When merging, use the merge button dropdown menu to select "Create a merge commit", NOT "Squash and merge".
3. Revert the settings.

FYI @jtmcdole @Piinks

[jtmcdole]

This part of the instructions are different from how the flutter repository works. There is only one branch rule for devtools, master and it requires linear history. Kenzie is currently the only admin on the repository. I can add one of you to the admin of DevTools.

1. Temporarily modify the settings of https://github.com/flutter/devtools to "allow merge
commits at the repo level and remove `require linear history`".
2. IMPORTANT: Merge <link to PR> as a MERGE COMMIT. When merging, use the merge button dropdown menu to select "Create a merge commit", NOT "Squash and merge".
3. Revert the settings.

[jtmcdole]

@elliette - I've added you as admin so you can do this linear history dance. Good luck!

[elliette]

Thank you!