Renaming git master?

[Gerald Pfeifer]

[ gcc-patches -> gcc ]

On Mon, 29 Mar 2021, Jonathan Wakely wrote:
>> [LLVM] renamed the 'master' branch. I'll adjust the link tomorrow.
> Done by this patch, pushed to master (which I think we should rename).

Did I miss any discussions? Our documentation at 
  https://gcc.gnu.org/git.html
still refers to master (though, probably dating back to the SVN days there 
are quite a number of references to trunk, too).

`git branch -l` shows 
  master
  remotes/origin/HEAD -> origin/master
  remotes/origin/trunk


1. Is there something we may want to adjust in the Git repository?

2. How about https://gcc.gnu.org/git.html ? 

   (If someone tells me what to use instead of "master" I can propose a 
   patch.)
 
Gerald