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

partial catalogue update #101

Merged
merged 9 commits into from
Nov 17, 2023
Merged

partial catalogue update #101

merged 9 commits into from
Nov 17, 2023

Conversation

alex75
Copy link
Collaborator

@alex75 alex75 commented Nov 17, 2023 •
edited
Loading

In this PR:

  • option --include to select datasets to consider
  • option --exclude to select datasets to exclude
  • option --exclude-resources to exclude datasets
  • option --exclude-licences to exclude licences
  • option --exclude-messages to exclude messages
  • general refactoring
  • more precise management of comparison of git hashes

@alex75 alex75 self-assigned this Nov 17, 2023
@FussyDuck
Copy link

FussyDuck commented Nov 17, 2023 •
edited
Loading

CLA assistant check
All committers have signed the CLA.

@alex75 alex75 mentioned this pull request Nov 17, 2023
Closed
@alex75 alex75 merged commit a23ad1c into main Nov 17, 2023
8 of 10 checks passed
@alex75 alex75 deleted the 1275-partial-catalogue-update branch November 17, 2023 13:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@alex75 alex75

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alex75 @FussyDuck