How to delete a branch?

[michaelaoash]

My usual workflow is pull latest copy from repository to Google Apps Scripts, create a new branch (on Google Apps Scripts), work on the branch (on Google Apps Scripts), push the branch (from Google Apps Scripts to GitHub), create a pull request (on GitHub), merge the pull request (on GitHub) and then delete the branch (on both GitHub and Google Apps Scripts).

I can delete the branch on GitHub but I don't see how to delete the branch in Google Apps Scripts.

Thanks.

[leonhartX]

that's not supported now, you can just delete it in GitHub

[michaelaoash]

Is it possible to make the branch disappear from the GAS-github pulldown menu? I deleted the branch on GitHub but it still shows up in the pulldown on GAS-github. Is there a way to sync these? Thanks.

…

On Mon, Jun 1, 2020 at 11:35 PM Ke Xu ***@***.***> wrote: that's not supported now, you can just delete it in GitHub — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#126 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAFZJTZPX2EY5RN6HTYL65LRURXRPANCNFSM4NI5CJZQ> .

-- Michael Ash, Professor of Economics and Public Policy Member of MSP/MTA/NEA, the union of faculty and librarians University of Massachusetts Amherst Email mash@econs.umass.edu Tel +1-413-545-6329