problem with github

[Rémy Mouëza]

On Sunday, 23 November 2025 at 06:43:27 UTC, Walter Bright wrote:
> While this did push test to github (finally), it also pushed 
> all my other branches. There are about a hundred of them. How 
> do I mass remove them?

Deleting a branch on the remote repository is done with :

     git push --delete origin remote-branch

To delete all the branches your `git push` command created, you 
may try a bash loop.
 From the output you mentionned this would look like this :

     for b in castRef ctfeArrayEquals defaultInitialize 
defaultInitialize2 fix18528 fix18528-2 fix20956 fix22127 fix22175 
fix22367 fix22638 fix23166 fix23499 fix23913 format87 
initsemArray isCopyCtor nounderscore placementNew sapply; do

         git push --delete origin $b
     done

Your `git push` configuration, `push.default` might be set to 
`matching`.  To allow a `git push` command to only send the local 
branch your on you can configure git with :

     git config push.default current

Otherwise, you will have to specify the local branch:

     git push origin HEAD

I am sorry to have sent you the wrong push command; I never 
encountered that kind of configuration before. I recall that all 
my push commands only sent the local branch to the remote.

Some reference I found:
- 
https://stackoverflow.com/questions/948354/default-behavior-of-git-push-without-a-branch-specified
- 
https://git-scm.com/docs/git-config#Documentation/git-config.txt-pushdefault