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	1 kiB	7f71de0 Remove redundant buttons from file, too
repo-forum.html	text/html	3.39 kiB	beef1b5 Add new search options to main page as well
repo-forum-thread.html	text/html	1.76 kiB	6223296 Add SEO to post pages
repo-forum-search.html	text/html	2.67 kiB	c789166 Filter posts by state and label
repo-log.html	text/html	4.25 kiB	0f3f9b5 Fix commit order