build: Gitpod integration and Google Cloud Shell Button #2034
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
aucampia
force-pushed
the
iwana-20220717T1844-gitpod
branch
from
21ce2f9 to
a56b6e6
Compare
|
|
aucampia
force-pushed
the
iwana-20220717T1844-gitpod
branch
13 times, most recently
from
972559c to
978c85e
Compare
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.
aucampia
force-pushed
the
iwana-20220717T1844-gitpod
branch
from
3873295 to
926ce27
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary of changes
Add Gitpod integration mainly intended to make it easier for
contributors to work with RDFLib.
Other changes:
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.
This is mainly to make the devcontainer less unwieldy and quicker to
build.
packages, this will make it faster to build.
Checklist
the same change.
so maintainers can fix minor issues and keep your PR up to date.