Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

jets: update mod jet to match Arvo changes #257

Merged
merged 2 commits into from Mar 1, 2023
Merged

jets: update mod jet to match Arvo changes #257

merged 2 commits into from Mar 1, 2023

Conversation

ashelkovnykov
Copy link
Contributor

@ashelkovnykov ashelkovnykov commented Feb 24, 2023 •
edited

Companion PR for #6355 in urbit/urbit - they must be released together.

Required changes to mod jet to match bail condition of new mod logic in Arvo.

Tested changes successfully against latest code from develop (both urbit/urbit and urbit/vere).

@ashelkovnykov ashelkovnykov requested a review from a team as a code owner February 24, 2023 20:15
@ashelkovnykov ashelkovnykov mentioned this pull request Feb 24, 2023
Merged
joemfb
joemfb approved these changes Mar 1, 2023
View reviewed changes
Copy link
Member

@joemfb joemfb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this will do

@ashelkovnykov
Copy link
Contributor Author

@belisarius222 @jalehman Ready for merge

@jalehman jalehman merged commit 08b635b into urbit:develop Mar 1, 2023
@ashelkovnykov ashelkovnykov deleted the mod-jet branch March 2, 2023 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@joemfb joemfb joemfb approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@ashelkovnykov @joemfb @jalehman