fix: Misc improvements to `scripts/develop.sh`#4995

mafredri merged 4 commits intomaincoder/coder:mainfrom

mafredri/develop-script-improvementscoder/coder:mafredri/develop-script-improvementsCopy head branch name to clipboard