Merged
Conversation
This reverts commit a9930c0.
This reverts commit de90d0b.
This reverts commit 471d9b7.
This reverts commit 7f59ed4.
This reverts commit cd1f4f2.
This reverts commit 37782bd.
This reverts commit 5ad3469.
This reverts commit a7e6dd5.
This reverts commit 350ad6a.
This reverts commit c3e4d59.
This reverts commit ef5b536.
This reverts commit b86f58e.
This reverts commit d354a28.
This reverts commit 2c29083.
This reverts commit 87bd67f.
This reverts commit 91e55ad.
This reverts commit 78c5247.
This reverts commit 5b4b4f1.
This reverts commit 185e54d.
This reverts commit 47f6115.
This reverts commit ea0b6e1.
This reverts commit 719aaea.
This reverts commit 995b4be.
This reverts commit 075af5f.
This reverts commit 512ba18.
This reverts commit 148612b.
7 tasks
Contributor
|
For context, this PR was originally: #3921 (comment) |
5 tasks
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Improves the docker set up and removes some unused files.
Closes #3914
Closes #3916
Closes #3685
Closes #3683