This repository holds the documentation files of the SEDOS project and is also used for managing organizational issues.
The documentation will be released with a push on the main
branch to this website. Wait ~ 2min until you can see changes.
The documentation is automatically deployed by the workflow on
the branch gh-pages
. In the GitHub-pages settings, this branch has been chosen to be the branch from which the
documentation is deployed. The workflow is triggered with a push to main
or can be triggered manually in
GitHub actions.
-
Clone this repository
git clone https://github.com/sedos-project/organization.git
-
Navigate to the path, in which you stored ../sedos-project/organisation
cd [USERPATH/sedos-project/organisation]
-
Create new environment by using pre-defined settings from environment.yml and activate it after successful installation
conda env create -f environment.yml
conda activate d_py310_sedos
-
Modify .md files in
organisation/docs
or create new .md files by creating a new file and renaming the file extension.md
. -
Render documentation locally by running mkdocs
mkdocs serve
and copy url from the INFO message into your browser, e.g.INFO - [11:25:42] Serving on http://127.0.0.1:8000/
Once started, mkdocs shows your local edits live in the browser without further do.
-
Add all your local changes
git add .
-
Commit your local changes
git commit -m 'Extend documentation
-
Check if other SEDOS members uploaded changes before pushing yours
git pull
-
Push your commits, to share them with the team
git push
- On your local machine, navigate to
~/.github
- On
main
brachen, rungit pull
to download latest docs-version and to avoid merge conflicts later - On your local machine, navigate to
~/organization
and checkout branchmain
- Run
git pull
- In
~/organization
, In your local conda environment runmkdocs build -d ../.github
(or specify the absolute path to.github
) - Navigate to
~/.github
and rungit add .
to add all updated files - Run
git commit -am 'Update docs with PR #'
and add PR-number from organisation repo to track changes better. If changes were implemented without PR, write helpful commit message. All changes are now saved to one commit. - Run
git push
to update docs on github pages - Go to
sedos-project.github.io/.github/
, wait 2 min. for the page to deploy and pressCTRL + F5
to reload page ignoring browser cache - You should now see the updated documentation.