Codespace fixes (#962)

* add safe directory marking in devcontainer

* remove no-history option for ghp_import

* clean up some info lines

* format

* update changelog and core commit

Author: oscarlevin

CHANGELOG.md

@@ -9,6 +9,10 @@ Instructions: Add a subsection under `[Unreleased]` for additions, fixes, change
 
 ## [Unreleased]
 
+### Fixed
+
+- Bug preventing some repositories from using `pretext deploy`.
+
 ## [2.17.0] - 2025-04-09
 
 Includes updates to core through commit: [2c3fda7](https://github.com/PreTeXtBook/pretext/commit/2c3fda724738cabba04c28378f91a64a72a0e7c2)

pretext/__init__.py

@@ -18,7 +18,7 @@
 
 VERSION = get_version("pretext", Path(__file__).parent.parent)
 
-CORE_COMMIT = "2c3fda724738cabba04c28378f91a64a72a0e7c2"
+CORE_COMMIT = "7936f3fd1595439fe86adc44ea9a4f8045372801"
 
 
 def activate() -> None:

pretext/utils.py

@@ -720,12 +720,7 @@ def publish_to_ghpages(
     log.info("")
     # Should we let ghp_import do the push for us?
     # Should we remove the history?
-    ghp_import.ghp_import(
-        directory,
-        mesg="Latest build deployed.",
-        nojekyll=True,
-        no_history=True,
-    )
+    ghp_import.ghp_import(directory, mesg="Latest build deployed.", nojekyll=True)
     log.info(f"Attempting to connect to remote repository at `{origin.url}`...")
     # log.info("(Your SSH password may be required.)")
     log.info("")
@@ -778,16 +773,14 @@ def publish_to_ghpages(
         log.error("Deploy was unsuccessful.")
         return
     log.info("")
-    log.info("Latest build successfully pushed to GitHub!")
+    log.info("Latest build successfully pushed to GitHub!\n")
     log.info("")
     log.info("To enable GitHub Pages, visit")
     log.info(f"    {repo_url}settings/pages")
-    log.info("selecting the `gh-pages` branch with the `/ (root)` folder.")
-    log.info("")
+    log.info("selecting the `gh-pages` branch with the `/ (root)` folder.\n")
     log.info("Visit")
     log.info(f"    {repo_url}actions/")
-    log.info("to check on the status of your GitHub Pages deployment.")
-    log.info("")
+    log.info("to check on the status of your GitHub Pages deployment.\n")
     log.info("Your built project will soon be available to the public at:")
     log.info(f"    {pages_url}")
 

templates/devcontainer.json

@@ -21,7 +21,8 @@
     // "install sagemath": "bash ./.devcontainer/installSage.sh",
     "install pandoc": "bash ./.devcontainer/installPandoc.sh",
     "install latex": "bash ./.devcontainer/installLatex.sh",
-    "install pretext": "bash ./.devcontainer/installPretext.sh"
+    "install pretext": "bash ./.devcontainer/installPretext.sh",
+    "mark repo as safe": "git config --global --add safe.directory $(pwd)"
     },