Branch update fails

The command line achieves the same as manipulating the file

With the command line you just did such change…


The behaviour wanted by the developers is

If you reckon this being a bug then perhaps lodge an issue with the developers at their Gitlab repository.