MrHedmad / Milton

Home of Milton Lab Assistant - the Discord Bot for laboratories.
MIT License
1 stars 1 forks source link

Add a public github repository browser feature #17

Open MrHedmad opened 1 year ago

MrHedmad commented 1 year ago

One often needs to retrieve or inspect a remote repository file. We should add a cog that, for public repositories (private repos need token access, but we cannot store it not in plain text for now, so let's not do that), fuzzy-finds the files and:

Additionally, it would be nice to implement:

Tracking

MrHedmad commented 1 year ago

This feature would be really cool, but we need to access GitHub's API to do it, and it's not so easy to do. I therefore would implement it after 2.0.