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.

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

Sync data with upstream #147

Merged
merged 1 commit into from
Jul 31, 2024
Merged

Sync data with upstream #147

merged 1 commit into from
Jul 31, 2024

Conversation

lukhnos
Copy link
Collaborator

@lukhnos lukhnos commented Jul 31, 2024

@lukhnos
Copy link
Collaborator Author

lukhnos commented Jul 31, 2024

@xatier PTAL. If you or any of the maintainers LGTMs, I'll merge. Thanks!

@zonble
Copy link
Collaborator

zonble commented Jul 31, 2024

Looks good :)

@xatier
Copy link
Contributor

xatier commented Jul 31, 2024

@lukhnos I've glanced the diff with the following, LGTM. Thanks for taking care of this!

vimdiff <(cat data/data.txt | awk '{print $1$2}') <(cat new.txt | awk '{print $1$2}')

@lukhnos lukhnos merged commit 806528c into master Jul 31, 2024
7 checks passed
@lukhnos lukhnos deleted the dev/update-data branch July 31, 2024 05:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants