Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Retrieve JSON data from an external source #19

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Retrieve JSON data from an external source #19

wants to merge 1 commit into from

Commits on Oct 26, 2018

  1. Retrieve JSON data from an external source 

    Allow the user to define a custom URL to retrieve the JSON
data (instead of hitting Read the Docs API) needed to add the banner
into the page.

This is useful when there is a git tag that doesn't want to be
updated, but now the warning message is out of date. So, by defining a
custom URL (potentially a JSON under the git repository served by
github, for example) this file is retrieved by the documentation and
displayed the custom message needed at certain date.

The JSON file can be updated independently from the documentation/tag/etc.
    @humitos
    humitos committed Oct 26, 2018
    Configuration menu
    Copy the full SHA
    469f337 View commit details
    Browse the repository at this point in the history