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

[libc++] Replace 'tags' in CSV status pages by inline notes #105581

Merged
merged 6 commits into from
Aug 28, 2024
Merged

[libc++] Replace 'tags' in CSV status pages by inline notes #105581

merged 6 commits into from
Aug 28, 2024

Commits on Aug 28, 2024

  1. [TEMP] Change synchronization script to remove rows

    @ldionne
    ldionne committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    d73501e View commit details
    Browse the repository at this point in the history

  2. Actually remove the labels

    @ldionne
    ldionne committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    3b6d862 View commit details
    Browse the repository at this point in the history

  3. Add empty Notes entries in the CSV

    @ldionne
    ldionne committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    9f18112 View commit details
    Browse the repository at this point in the history

  4. Populate Notes entries for items with notes

    @ldionne
    ldionne committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    e78120c View commit details
    Browse the repository at this point in the history

  5. [libc++] Replace 'tags' in CSV status pages by inline notes 

    This patch replaces 'tags' in the CSV status pages by inline notes
that optionally describe more details about the paper/LWG issue.

Tags were not really useful anymore because we have a vastly superior
tagging system via Github issues, and keeping the tags up-to-date
between CSV files and Github is going to be really challenging.

This patch also adds support for encoding custom notes in the CSV
files via Github issues. To encode a note in the CSV file, the
body (initial description) of a Github issue can be edited to contain
the following markers:

    BEGIN-RST-NOTES
    text that will be added as a note in the RST
    END-RST-NOTES
    @ldionne
    ldionne committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    cad62f5 View commit details
    Browse the repository at this point in the history

  6. Revert "[TEMP] Change synchronization script to remove rows" 

    This reverts commit 643bb829d1b476cae02928f9a7c2d16171a3e127.
    @ldionne
    ldionne committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    be387cd View commit details
    Browse the repository at this point in the history