Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Structured headers #197

Merged
merged 8 commits into from
Mar 3, 2020
Merged

Structured headers #197

merged 8 commits into from
Mar 3, 2020

Commits on Dec 18, 2019

  1. Switch reporting to structured headers

    @clelland
    clelland committed Dec 18, 2019
    Configuration menu
    Copy the full SHA
    9157ce2 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2020

  1. Merge branch 'document-only' into structured-headers-with-reorg

    @clelland
    clelland committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    3a9b6a5 View commit details
    Browse the repository at this point in the history

  2. Add structured-headers to topic branches

    @clelland
    clelland committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    a752bd8 View commit details
    Browse the repository at this point in the history

  3. Fix topic branch config

    @clelland
    clelland committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    891d5e1 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2020

  1. Remove reference to 'URI-reference'

    @clelland
    clelland committed Jan 13, 2020
    Configuration menu
    Copy the full SHA
    324b17e View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2020

  1. Merge branch 'split-persistence' into structured-headers

    @clelland
    clelland committed Feb 5, 2020
    Configuration menu
    Copy the full SHA
    b089500 View commit details
    Browse the repository at this point in the history

  2. Rename header

    @clelland
    clelland committed Feb 5, 2020
    Configuration menu
    Copy the full SHA
    c1b4c3d View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2020

  1. Remove URL productions

    @clelland
    clelland committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    6497ff5 View commit details
    Browse the repository at this point in the history