Issue #620 resolved
The top bar is very confusing since it has both “global” items and items specific to currently viewed repository.
Some suggested improvements:
- Make topmost bar only global: home, quick filter, journal, profile, search (?), global admin (for admins).
- Repository specific things (summary, changelog, switch to, files, options, favs, forks, pull requests) should go into separate bar.
- Other per-repo things like “compare fork”, “open pull request”, current/all branch in changelog view should also go into this repository navigation bar.
- Make top bar scroll with page content; no need to have it always on top of currently viewed content.