Skip to content

Conversation

SivagiriVisakan
Copy link
Contributor

This PR adds the functionality to the GitHub Detail bot such that when given a valid URL, it gets the contents of that file.
TODO:

  • Annotate with types

@zulipbot
Copy link
Member

Heads up @SivagiriVisakan, we just merged some commits that conflict with the changes your made in this pull request! You can review this repository's recent commits to see where the conflicts occur. Please rebase your feature branch against the upstream/master branch and resolve your pull request's merge conflicts accordingly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants