Community
Participate
Working Groups
The name of the develop branch, the prefix for feature branches, etc. The API already supports this, and the values can be changed in the .git/config manually, but we should have UI for this.
New Gerrit change created: https://git.eclipse.org/r/54282
Gerrit change https://git.eclipse.org/r/54282 was merged to [master]. Commit: http://git.eclipse.org/c/egit/egit.git/commit/?id=3ffaa8127582517e4386cc68f2cbc1e36808d205
merged to master