7f71de0c92c2bff2023942fac063d6840f6c3e0d master

File name	Media type	Size	Last commit
repo-users.html	text/html	5.05 kiB	9e605cc Fix permission chooser bug
repo-forum-edit.html	text/html	1.13 kiB	59ddcc6 Post editing
repo-settings.html	text/plain	9.43 kiB	74604d9 Full label editing
repo-branches.html	text/plain	2.57 kiB	36b70dc Add l10n
repo-tree.html	text/html	997 B	c776019 Remove redundant repository tree buttons
repo-prs.html	text/html	4.31 kiB	7f735e5 Support setting which posts a PR closes
repo-commit.html	text/html	10.66 kiB	a71544c Better page titles
repo-file.html	text/html	2.01 kiB	562ce76 Fix path bar wrapping
repo-forum.html	text/html	2.55 kiB	0a3cc4d Post search box on main forum page
repo-forum-thread.html	text/html	1.55 kiB	5bf1656 Setting state on a child now updates root; fix root
repo-forum-search.html	text/html	1.83 kiB	0a3cc4d Post search box on main forum page
repo-log.html	text/html	4.25 kiB	0f3f9b5 Fix commit order