Skip to content

Commit

Permalink
team -> project
Browse files Browse the repository at this point in the history
  • Loading branch information
bast committed Sep 1, 2024
1 parent a66975d commit ef72e39
Showing 1 changed file with 16 additions and 10 deletions.
26 changes: 16 additions & 10 deletions content/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -12,18 +12,19 @@
#
import os
import sys
sys.path.insert(0, os.path.abspath('.'))

sys.path.insert(0, os.path.abspath("."))


# -- Project information -----------------------------------------------------

project = "Introduction to version control with Git"
copyright = "CodeRefinery team"
author = "CodeRefinery team"
copyright = "CodeRefinery project"
author = "CodeRefinery project"
github_user = "coderefinery"
github_repo_name = "git-intro" # auto-detected from dirname if blank
github_version = "main"
conf_py_path = "/content/" # with leading and trailing slash
conf_py_path = "/content/" # with leading and trailing slash

# -- General configuration ---------------------------------------------------

Expand All @@ -41,13 +42,13 @@

# MyST extensions
myst_enable_extensions = [
'colon_fence', # ::: can be used instead of ``` for better rendering
]
"colon_fence", # ::: can be used instead of ``` for better rendering
]
# Settings for myst_nb:
# https://myst-nb.readthedocs.io/en/latest/use/execute.html#triggering-notebook-execution
nb_execution_mode = "cache"

copybutton_exclude = '.linenos, .gp'
copybutton_exclude = ".linenos, .gp"

# Add any paths that contain templates here, relative to this directory.
# templates_path = ['_templates']
Expand Down Expand Up @@ -77,7 +78,7 @@
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['css']
html_static_path = ["css"]


# HTML context:
Expand All @@ -94,10 +95,15 @@
}

import os
if os.environ.get('GITHUB_REF', '') == 'refs/heads/main':

if os.environ.get("GITHUB_REF", "") == "refs/heads/main":
html_js_files = [
('https://plausible.cs.aalto.fi/js/script.js', {"data-domain": "coderefinery.github.io", "defer": "defer"}),
(
"https://plausible.cs.aalto.fi/js/script.js",
{"data-domain": "coderefinery.github.io", "defer": "defer"},
),
]


def setup(app):
app.add_css_file("style.css")

0 comments on commit ef72e39

Please sign in to comment.