diff options
| author |  Leon Sandøy <[email protected]> | 2019-04-17 23:57:14 +0200 |
|---|---|---|
| committer | Leon Sandøy <[email protected]> | 2019-04-17 23:57:14 +0200 |
| commit | cf1fc2870326c431d0c4dc3fe46f2ae41c2fd5aa (patch) | |
| tree | f26b61c866912c7007260f2d946ebbb3e5454585 /pydis_site/settings.py | |
| parent | makemigrations pipeline created, RepoData model created, and a really naive i... (diff) | |
The GitHub API stuff is done now, including data caching. Just a couple of minor bugfixes left before this is PR-ready.
Diffstat (limited to 'pydis_site/settings.py')
| -rw-r--r-- | pydis_site/settings.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pydis_site/settings.py b/pydis_site/settings.py index 4a5b0523..eb21de10 100644 --- a/pydis_site/settings.py +++ b/pydis_site/settings.py @@ -258,3 +258,13 @@ BULMA_SETTINGS = { "footer-padding": "1rem 1.5rem 1rem", } } + +# Which of our GitHub repos should be displayed on the front page, and in which order? +HOMEPAGE_REPOS = [ + "python-discord/site", + "python-discord/bot", + "python-discord/snekbox", + "python-discord/seasonalbot", + "python-discord/django-simple-bulma", + "python-discord/django-crispy-bulma", +] |