Skip to content
This repository has been archived by the owner on May 3, 2022. It is now read-only.

Kerndatensaetze #181

Draft
wants to merge 6 commits into
base: master
Choose a base branch
from
Draft

Kerndatensaetze #181

wants to merge 6 commits into from

Conversation

tori-d
Copy link
Collaborator

@tori-d tori-d commented Aug 5, 2019

No description provided.

@netlify
Copy link

netlify bot commented May 20, 2020

Deploy preview for tsb-labsite ready!

Built with commit 29f2a6c

https://deploy-preview-181--tsb-labsite.netlify.app

@dnsos dnsos self-requested a review as a code owner November 4, 2020 11:37
@dnsos
Copy link
Collaborator

dnsos commented Nov 4, 2020

@tori-d and @fabianmoronzirfas this PR is super old. I have no idea what to do with it.

Is it still relevant? Should we merge this?

@tori-d
Copy link
Collaborator Author

tori-d commented Nov 18, 2020

Hey, sorry, didn't see this initially @dnsos. This is from a project that ended up being put on hold indefinitely. I would prefer to keep the branch for now as a record, but not take action. If you'd prefer not to have branches in limbo, lmk and I can first make sure I have the contents saved locally and then you can delete it.

@dnsos
Copy link
Collaborator

dnsos commented Nov 18, 2020

Hey @tori-d, thanks for clarifying! I wouldn't mind keeping the branch, but let's close this PR then, so everyone knows that this should not be merged until the project is resumed.

If later it turns out that the project won't be continued, we should also delete the branch.

@dnsos dnsos closed this Nov 18, 2020
@ff6347
Copy link
Collaborator

ff6347 commented Nov 18, 2020

IMHO. I suggest making a draft PR from it. When someone starts to clean up stale branches this could get deleted. With a draft PR we know at least what this might be for.

@dnsos
Copy link
Collaborator

dnsos commented Nov 18, 2020

That's fine by me.

@dnsos dnsos reopened this Nov 18, 2020
@dnsos dnsos marked this pull request as draft November 18, 2020 12:12
@dnsos dnsos removed the help wanted label Nov 18, 2020
@dnsos dnsos removed their assignment Mar 17, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants