Skip to content

Handle PRs that were closed accidentally #94

@TechnikTobi

Description

@TechnikTobi

While trying to shrink the size of the repo/.git directory (as mentioned by @qarmin in #91 - yes, you may laugh at me for this mistake :P) I accidentally closed all open PRs, even though that was definitely not my intention. As I can't reopen them I'll make a list here for me to process/keep track of them:

No further actions required from your side, except if you want to reopen/re-do the PRs for you to be recognized as contributor! (otherwise I'll have to edit these changes in manually).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions