Yes, we should remove stale personal branches git push origin :someBranchName (with the colon)
for non-stale branches you use the prefix "work/someBranchName" and you can use that directly from gitlab without a fork which you can force push to. Gitlab has a button to auto-remove those on merge. David