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

Migrate to GitHub Bot? #39

Open
aeneasr opened this issue Jul 23, 2019 · 1 comment
Open

Migrate to GitHub Bot? #39

aeneasr opened this issue Jul 23, 2019 · 1 comment

Comments

@aeneasr
Copy link

aeneasr commented Jul 23, 2019

I'm not sure if this is something this repository would consider, but would it be possible to migrate this to a GitHub Bot? Then, no hosting or GitHub tokens would be necessary!
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@naturallymitchell @aeneasr