issue #3241#3253

Harshit-7373 wants to merge 2 commits intoprocessing:developprocessing/p5.js-web-editor:developfrom

Harshit-7373:Harshit-7373/#-issue-3241Harshit-7373/p5.js-web-editor:Harshit-7373/#-issue-3241Copy head branch name to clipboard