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

[update] Try to keep existing order for type and member signatures. #662

Open
wants to merge 15 commits into
base: develop
Choose a base branch
from
Open

[update] Try to keep existing order for type and member signatures. #662

wants to merge 15 commits into from

Commits on Oct 19, 2021

  1. Merge pull request mono#584 from mono/develop 

    Bump mdoc to 5.8.5
    @huangmin-ms
    huangmin-ms committed Oct 19, 2021
    Configuration menu
    Copy the full SHA
    d499d22 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2022

  1. Merge pull request mono#595 from mono/develop 

    bump mdoc to 5.8.6
    @huangmin-ms
    huangmin-ms committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    f8a55d4 View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2022

  1. Merge pull request mono#603 from mono/develop 

    bump mdoc to 5.8.6.1
    @huangmin-ms
    huangmin-ms committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    5671681 View commit details
    Browse the repository at this point in the history

  2. Merge pull request mono#605 from mono/develop 

    Update TSA configuration (mono#604)
    @huangmin-ms
    huangmin-ms committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    1a34ff5 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2022

  1. Merge pull request mono#616 from mono/develop 

    bump mdoc to 5.8.7
    @huangmin-ms
    huangmin-ms committed Mar 3, 2022
    Configuration menu
    Copy the full SHA
    47b7145 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2022

  1. Merge pull request mono#622 from mono/develop 

    bump mdoc to 5.8.8
    @huangmin-ms
    huangmin-ms committed Mar 24, 2022
    Configuration menu
    Copy the full SHA
    489be60 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2022

  1. Merge pull request mono#626 from mono/develop 

    🚀🚀🚀 bump mdoc to 5.8.9
    @huangmin-ms
    huangmin-ms committed Apr 24, 2022
    Configuration menu
    Copy the full SHA
    8adc14d View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. Merge pull request mono#636 from mono/develop 

    🚀🚀🚀 bump mdoc to 5.8.9.1
    @huangmin-ms
    huangmin-ms committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    7bead46 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2022

  1. Merge pull request mono#643 from mono/develop 

    Merge to main
    @huangmin-ms
    huangmin-ms committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    cc77d91 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

  1. Merge pull request mono#644 from mono/develop 

    bump mdoc to 5.8.9.2
    @huangmin-ms
    huangmin-ms committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    97c1778 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

  1. Merge pull request mono#648 from mono/develop 

    bump mdoc to 5.9.0
    @huangmin-ms
    huangmin-ms committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    e0baf60 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

  1. Merge pull request mono#651 from mono/develop 

    bump mdoc to 5.9.1
    @huangmin-ms
    huangmin-ms committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    d92d897 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2022

  1. Merge pull request mono#656 from mono/develop 

    Bump mdoc to 5.9.2
    @huangmin-ms
    huangmin-ms committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    18ebe04 View commit details
    Browse the repository at this point in the history

  2. Merge pull request mono#658 from mono/develop 

    Use CodeQL 3000 in lgtm (mono#657)
    @huangmin-ms
    huangmin-ms committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    f21c774 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2023

  1. [update] Try to keep existing order for type and member signatures. 

    This avoids a lot of unnecessary churn in the diff when updating docs.
    @rolfbjarne
    rolfbjarne committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    9f6ac3a View commit details
    Browse the repository at this point in the history