Switch from GitLab to GitHub
This includes updating URLs, removing GitLab configuration files and updating docs
Showing
- .devcontainer/image/Dockerfile 1 addition, 1 deletion.devcontainer/image/Dockerfile
- .gitattributes 1 addition, 10 deletions.gitattributes
- .gitlab-ci.yml 0 additions, 122 deletions.gitlab-ci.yml
- .gitlab/issue_templates/Bug.md 0 additions, 27 deletions.gitlab/issue_templates/Bug.md
- .gitlab/issue_templates/Feature-Request.md 0 additions, 10 deletions.gitlab/issue_templates/Feature-Request.md
- CHANGELOG.md 0 additions, 2 deletionsCHANGELOG.md
- Makefile 5 additions, 2 deletionsMakefile
- chapters/frontmatter/preface.tex 1 addition, 1 deletionchapters/frontmatter/preface.tex
- chapters/mainmatter/usage.tex 4 additions, 5 deletionschapters/mainmatter/usage.tex
- pandoc/metadata.yaml 2 additions, 2 deletionspandoc/metadata.yaml
- tests/README.md 1 addition, 1 deletiontests/README.md
Loading
Please register or sign in to comment