Project titles, repo listing, and branch name

[lankaukk]

Problem:
The project title/repository and the branch name were uncomfortable sharing a small space together. The push local changes, pull remote changes, and merge conflicts buttons were also fighting for that space, and their text labels were confusing.

Solution

• The repository has moved to the code editor's title bar!
• The branch name remains in the title bar of the left menu.
• The project title (when there is no github repo connection) remains in the left menu.
• The pull remote changes and push local changes buttons no longer have text labels, and their color's have inverted. Only getting a subtle background color on hover.
• When there are merge conflicts, a warning icon replaces the branch icon and the text turns red.

[github-actions]

Try me

[relativeci]

Job #8621: Bundle Size — 63.27MiB (~-0.01%).

eecd8f0(current) vs 5957b21 master#8614(baseline)

Warning

Bundle contains 64 duplicate packages – View duplicate packages

Bundle metrics   2 changes 1 improvement

	Current Job #8621	Baseline Job #8614
Initial JS	35.56MiB(~-0.01%)	35.56MiB
Initial CSS	0B	0B
Cache Invalidation	18.89%	19.53%
Chunks	28	28
Assets	32	32
Modules	4016	4016
Duplicate Modules	456	456
Duplicate Code	31.36%	31.36%
Packages	409	409
Duplicate Packages	64	64

Bundle size by type   1 change 1 improvement

	Current Job #8621	Baseline Job #8614
JS	63.26MiB (~-0.01%)	63.26MiB
HTML	11.54KiB	11.54KiB

---

View job #8621 report View project-titles branch activity

[github-actions]

Performance test results: