Requires removal from GitHub (or relicencing) #99
Labels
No labels
Doing
To Do
bug
clarification needed
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
nik/veripeditus-server#99
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Created by: mirabilos
Due to http://www.mirbsd.org/permalinks/wlog-10_e20170301-tg.htm this project must be removed from GitHub in its entirety (including all forks), requires an explicit waiver (which would make merging e.g. external works under CC-BY-* licences impossible), or relicencing.
This also affects the following subprojects, some of which have no issue tracker:
This does not need to be tracked in every single issue tracker.