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

Jump to bottom

Metrics API RFCs to eliminate Raw statistics #4

Merged
merged 15 commits into from
Aug 13, 2019
Merged

Metrics API RFCs to eliminate Raw statistics #4

merged 15 commits into from
Aug 13, 2019

Commits on Jun 27, 2019

  1. Four metrics RFCs to eliminate raw statistics

    @jmacd
    jmacd committed Jun 27, 2019
    Configuration menu
    Copy the full SHA
    7f2937e View commit details
    Browse the repository at this point in the history

  2. merge master

    @jmacd
    jmacd committed Jun 27, 2019
    Configuration menu
    Copy the full SHA
    b03b87a View commit details
    Browse the repository at this point in the history

  3. Create 4 RFC drafts on metrics

    @jmacd
    jmacd committed Jun 27, 2019
    Configuration menu
    Copy the full SHA
    6fc4353 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2019

  1. Update 0001-metric-pre-defined-labels.md 

    Co-Authored-By: Isobel Redelmeier <iredelmeier@gmail.com>
    @jmacd @iredelmeier
    jmacd and iredelmeier authored Jun 28, 2019
    Configuration menu
    Copy the full SHA
    04acacb View commit details
    Browse the repository at this point in the history

  2. Update 0001-metric-pre-defined-labels.md 

    Co-Authored-By: Isobel Redelmeier <iredelmeier@gmail.com>
    @jmacd @iredelmeier
    jmacd and iredelmeier authored Jun 28, 2019
    Configuration menu
    Copy the full SHA
    fb47377 View commit details
    Browse the repository at this point in the history

  3. Refinements

    @jmacd
    jmacd committed Jun 28, 2019
    Configuration menu
    Copy the full SHA
    8f6917c View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2019

  1. Merge branch 'master' into jmacd/metrics_part1

    @jmacd
    jmacd authored Jul 31, 2019
    Configuration menu
    Copy the full SHA
    04e1342 View commit details
    Browse the repository at this point in the history

  2. Set status to proposed

    @jmacd
    jmacd committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    89a8fef View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2019

  1. Upstream

    @jmacd
    jmacd committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    1665bfe View commit details
    Browse the repository at this point in the history

  2. Assign numbers 3-4-5-6

    @jmacd
    jmacd committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    3b21a6e View commit details
    Browse the repository at this point in the history

  3. Renumber refs

    @jmacd
    jmacd committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    69671c4 View commit details
    Browse the repository at this point in the history

  4. Update status styling

    @jmacd
    jmacd committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    b938b3a View commit details
    Browse the repository at this point in the history

  5. Fix misspellings

    @jmacd
    jmacd committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    c28d3bc View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2019

  1. Combine the first three into one

    @jmacd
    jmacd committed Aug 13, 2019
    Configuration menu
    Copy the full SHA
    bc2ce91 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into jmacd/metrics_part1

    @bogdandrutu
    bogdandrutu authored Aug 13, 2019
    Configuration menu
    Copy the full SHA
    cb8488f View commit details
    Browse the repository at this point in the history