jgm/gitit — pull request #406 by duairc (2014-03-27 18:21:13+00:00)
Title: Generate the login/logout link server-side instead of with javascript

I added two template variables `isloggedin :: Bool` and `user :: Maybe String`, which can be used in templates.

This means the login/logout links in the userbox can be generated server-side now, and the javascript previously used is redundant. I changed the userbox code and removed the javascript accordingly.

This techically changes the public API, as `filledPageTemplate` now takes a `Maybe User` argument which it didn't take previously. Probably the version in gitit.cabal should be bumped if this change is to be merged.