Permalink
Commits on May 17, 2016
  1. Updated stack.yaml.

    jgm committed Oct 13, 2015
Commits on Apr 3, 2016
  1. Use better image link in markup help.

    jgm committed Apr 3, 2016
    Closes #543.
Commits on Mar 22, 2016
  1. Update CHANGES.

    jgm committed Mar 22, 2016
Commits on Feb 17, 2016
  1. Merge branch 'newrel'

    jgm committed Feb 17, 2016
Commits on Jan 25, 2016
  1. Merge pull request #536 from Rufflewind/local

    jgm committed Jan 25, 2016
    Allow pandoc 1.17
  2. Allow pandoc 1.17

    Rufflewind committed Jan 25, 2016
Commits on Jan 20, 2016
  1. Allow latest hoauth2

    jgm committed Jan 20, 2016
  2. New stack.yaml

    jgm committed Jan 20, 2016
Commits on Jan 19, 2016
  1. Merge pull request #535 from cleichner/fix-spelling

    jgm committed Jan 19, 2016
    Fix typo: charcaters -> characters
Commits on Jan 16, 2016
Commits on Jan 3, 2016
Commits on Dec 30, 2015
  1. Merge pull request #531 from Rufflewind/delete-summary

    jgm committed Dec 30, 2015
    Add delete-summary config variable
  2. Merge pull request #529 from Rufflewind/github-membership-check-error…

    jgm committed Dec 30, 2015
    …-message
    
    Improve error message of GitHub membership check
  3. Merge pull request #528 from Rufflewind/github-login-failure-page

    jgm committed Dec 30, 2015
    Add page for login failure when authorization is required for reading
Commits on Dec 28, 2015
  1. Add page for login failure when authorization is required for reading

    Rufflewind committed Dec 27, 2015
    When authorization is required to read the wiki, the error message from
    a failed GitHub login cannot be displayed.  Instead it will redirect to
    GitHub for another OAuth authentication, which can lead to a redirect
    loop.  To avoid this, the user is now redirected to a special landing
    page to display the login failure.
    
    Note: no changes are made for the case where authorization is not
    required to read the wiki.
  2. Add delete-summary config variable

    Rufflewind committed Dec 28, 2015
    Used to change the commit message when a page is deleted.
Commits on Dec 27, 2015
  1. Merge pull request #526 from Rufflewind/master

    jgm committed Dec 27, 2015
    Use primary GitHub email rather than just the first
  2. Use primary GitHub email rather than just the first

    Rufflewind committed Dec 27, 2015
    The order in which user emails are returned via the GitHub API is not
    specified, so the first may not be the one that the user prefers,
    i.e. the so-called "primary" email.  To fix this problem, we eliminate
    all emails except for the one marked as "primary".
Commits on Oct 13, 2015
  1. Merge pull request #519 from lmullen/responsive-css

    jgm committed Oct 13, 2015
    Make default theme responsive
  2. Make default theme responsive

    lmullen committed Oct 13, 2015
    This commit makes the default theme responsive. For smaller browsers, it
    will move the sidebar below the main content div and make the sidebar
    three columns. On phones, it will also collapse the sidebar into a
    single column.
    
    Fixes #450
Commits on Sep 17, 2015
  1. Merge pull request #515 from norpol/master

    jgm committed Sep 17, 2015
    Tell how to enable rtsopts for disabling GC
Commits on Aug 24, 2015
  1. Merge pull request #509 from wouteroostervld/fix_accent

    jgm committed Aug 24, 2015
    Revert accidental change of singlequotes from UTF-8 to ascii.
  2. Revert change of singlequotes from UTF8.

    wouteroostervld committed Aug 24, 2015
    Blame:
    
    d98c60c Network/Gitit/Initialize.hs (Caleb McDaniel  2014-08-13 16:55:47 -0500 174)
Commits on Aug 21, 2015
Commits on Aug 19, 2015
  1. Updated CHANGES.

    jgm committed Aug 19, 2015
  2. Structural reorganizations:

    jgm committed Aug 19, 2015
    * Export all modules.
    * Make executable builds depend on library in cabal file.
    * Moved library files to src/ directory.
  3. Added stack.yaml.

    jgm committed Aug 19, 2015
Commits on Aug 14, 2015
  1. Updated CHANGES.

    jgm committed Aug 14, 2015