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

Rename NL2019 dataset to NL, NL to NL2015 #1211

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Rename NL2019 dataset to NL, NL to NL2015 #1211

wants to merge 1 commit into from
+41 −1

Conversation

antw
Copy link
Contributor

@antw antw commented Dec 14, 2021 •
edited
Loading

@antw antw force-pushed the rename-nl2019-dataset branch 2 times, most recently from aacdaf9 to 70d30b6 Compare December 15, 2021 12:40
@antw antw requested a review from mabijkerk December 16, 2021 16:21
@antw antw mentioned this pull request Dec 16, 2021
Open
8 tasks
@mabijkerk mabijkerk added this to the Deploy February 2022 milestone Jan 21, 2022
@github-actions
Copy link

This pull request has had no activity for 60 days and will be closed in 7 days. Removing the "Stale" label or posting a comment will prevent it from being closed automatically. You can also add the "Pinned" label to ensure it isn't marked as stale in the future.

@github-actions github-actions bot added the Stale Issue had no activity for 60 days and will be, or has been, closed. label May 21, 2022
@mabijkerk mabijkerk removed the Stale Issue had no activity for 60 days and will be, or has been, closed. label May 23, 2022
@github-actions
Copy link

This pull request has had no activity for 60 days and will be closed in 7 days. Removing the "Stale" label or posting a comment will prevent it from being closed automatically. You can also add the "Pinned" label to ensure it isn't marked as stale in the future.

@github-actions github-actions bot added the Stale Issue had no activity for 60 days and will be, or has been, closed. label Jul 23, 2022
@github-actions github-actions bot closed this Jul 31, 2022
@mabijkerk mabijkerk removed the Stale Issue had no activity for 60 days and will be, or has been, closed. label Aug 1, 2022
@mabijkerk mabijkerk reopened this Aug 1, 2022
@mabijkerk mabijkerk added the Pinned Will never be marked as stale or auto-closed. label Aug 1, 2022
@kaskranenburgQ
Copy link
Contributor

@mabijkerk Can we close this?
I think a new effort must be made, since there are a lot of conflicts at the moment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mabijkerk mabijkerk Awaiting requested review from mabijkerk

Assignees

@mabijkerk mabijkerk

Labels
Pinned Will never be marked as stale or auto-closed.
Projects
None yet
Milestone
Deploy March 2023
Development

Successfully merging this pull request may close these issues.
3 participants
@antw @kaskranenburgQ @mabijkerk