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

Check additional metadata in projects #14

Merged
merged 11 commits into from
Nov 14, 2024
Merged

Check additional metadata in projects #14

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
af8a14e
action: Simplify the handling of the GitHub info retrieval
carlescufi Oct 28, 2024
6b40efe
action: Change a few print() statements into log()
carlescufi Oct 28, 2024
a393354
action: Add a status note
carlescufi Oct 28, 2024
02d99f4
action: Add DNM when projects are removed
carlescufi Oct 29, 2024
7b1d054
action: Do not check for impostor commits on removed projects
carlescufi Oct 29, 2024
83fff15
action: Refactor the set generation into a function
carlescufi Oct 30, 2024
8112883
action: Skip manifest project when calculating sets
carlescufi Oct 30, 2024
e838c14
action: Display branch names in monospace
carlescufi Oct 31, 2024
f09f463
action: Consolidate the merge status processing
carlescufi Oct 31, 2024
3ef4536
action: Print reason for N/A in old and new revision columns
carlescufi Nov 11, 2024
7fad13e
action: Check additional metadata in projects
carlescufi Oct 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading