Migrate git
history from Urbit monorepo
#38
Merged
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.
Description
Resolves #31. This PR makes small changes needed to account for the version bump from
v1.10
tov1.13
. For context, the extraction of the runtime from urbit/urbit began when the runtime was atv1.10
, and it's now atv1.13
. Rebasingissue/1/bazel-build
onto the tip ofnext/vere
(which is at71d06e544f7fe641ac0a9dad1fe07576761227ec
as of the time of this writing) wasn't quite sufficient; this PR adds the few small changes needed to bring this repo fully up-to-date, namely:U3_GUARD_PAGE
.1.13
.Testing
Note the testing required a non-default pill (i.e.
solid.pill
) because the default pill URL (https://bootstrap.urbit.org/props/1.13/brass.pill) doesn't have a pill yet.