Re: reject merges on gdb release branches?

Tom Tromey
2014-01-23T15:35:42Z

>>>>> "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