search

PreTeXtBook / pretext-cli

Command line interface for quickly creating, authoring, and building PreTeXt documents.
https://pretextbook.org
GNU General Public License v3.0
17 stars 18 forks source link

Only install github extras when in a directory tracked by git #801

Open oscarlevin opened 3 months ago

oscarlevin commented 3 months ago

As we move to supporting small documents, not all folders that we run pretext in will be tracked by git, so all the .devcontainer and workflow files are not needed.

StevenClontz commented 3 months ago

Seems reasonable - I want those in every project up on GitHub to facilitate collaboraiton and replicability, but obviously nothing is on GitHub unless tracked by git.