Skip to content
This repository was archived by the owner on Jun 25, 2020. It is now read-only.

add archive notice to the README #154

Merged
merged 2 commits into from
Jun 25, 2020
Merged

Conversation

dirk-thomas
Copy link
Contributor

Resolves #153.

@coveralls
Copy link

coveralls commented Jun 24, 2020

Coverage Status

Coverage remained the same at 82.001% when pulling 4460e00 on dirk-thomas/archive-notice into 354e8fe on master.

Co-authored-by: Geoffrey Biggs <gbiggs@killbots.net>
@dirk-thomas dirk-thomas merged commit 7f74a79 into master Jun 25, 2020
@dirk-thomas dirk-thomas deleted the dirk-thomas/archive-notice branch June 25, 2020 15:18
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.

proposal to archive this repository
3 participants