Skip to content

Conversation

@garrison
Copy link
Contributor

@garrison garrison commented Aug 7, 2020

We can merge this if/when these broken links and other issues are actually fixed, as otherwise CI will be broken. See the CI failure log for its report.

@render
Copy link

render bot commented Aug 7, 2020

@garrison garrison added help wanted Extra attention is needed not yet ready to merge Please don't merge this wiki cleanup Cleanup of content/structure from old Ductus wiki labels Aug 7, 2020
garrison added a commit that referenced this pull request Aug 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

help wanted Extra attention is needed not yet ready to merge Please don't merge this wiki cleanup Cleanup of content/structure from old Ductus wiki

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants