build: Gitpod integration and Google Cloud Shell Button by aucampia · Pull Request #2034 · RDFLib/rdflib (original) (raw)
Summary of changes
Add Gitpod integration mainly intended to make it easier for
contributors to work with RDFLib.
Other changes:
- Add a button for Google cloud shell integration, it is maybe not as
nice as Gitpod but it provides a lot more free hours than Gitpod and it
does work with the devcontainer based workflow even if the editor does
not integrate with devcontainers directly. - Removed additional python versions from the devcontainer dockerfile.
This is mainly to make the devcontainer less unwieldy and quicker to
build. - Slim down the devcontainer Dockerfile by removing some unneeded
packages, this will make it faster to build.
Checklist
- Checked that there aren't other open pull requests for
the same change. - Checked that all tests and type checking passes.
- Considered granting push permissions to the PR branch,
so maintainers can fix minor issues and keep your PR up to date.
Coverage remained the same at 90.446% when pulling 926ce27 on aucampia:iwana-20220717T1844-gitpod into fda98ec on RDFLib:master.
Add Gitpod integration mainly intended to make it easier for
contributors to work with RDFLib and also to get CI validation of
Dockerfile.devcontainer.
Other changes:
- Add a button for Google cloud shell integration, it is maybe not as nice as Gitpod but it provides a lot more free hours than Gitpod and it does work with the devcontainer based workflow even if the editor does not integrate with devcontainers directly.
- Removed additional python versions from the devcontainer dockerfile. This is mainly to make the devcontainer less unwieldy and quicker to build.
- Slim down the devcontainer Dockerfile by removing some uneeded packages, this will make it faster to build.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nice