reject merges on gdb release branches?

[Tom Tromey]

>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:

>> At the moment, it appears that this can only be done by adding
>> a "BRANCH_NAME = true" line in the repository's config file.
>> I can do that.

Joel> OK, given the positive feedback, this has now been done.

The syntax was slightly off; I got an error from a push.  When I
corrected it I learned that git doesn't allow "." in the name of a
config variable.  So, if we want to do this we'll have to modify the
"update" script directly; either by adding the branch names there or by
changing the config variable syntax.  I don't have time to do this right
now, sorry.  In the meantime I've reverted to the status quo ante,
seeing no other choice.

Tom