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.

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

also send peers-get-backlog default #2086

Merged
merged 1 commit into from
Oct 20, 2023
Merged

Conversation

Tenari
Copy link
Contributor

@Tenari Tenari commented Oct 17, 2023

necessary to match recent changes in desks repo

@vercel
Copy link

vercel bot commented Oct 17, 2023

@Tenari is attempting to deploy a commit to the Holium Team on Vercel.

To accomplish this, @Tenari needs to request access to the Team.

Afterwards, an owner of the Team is required to accept their membership request.

If you're already a member of the respective Vercel Team, make sure that your Personal Vercel Account is connected to your GitHub account.

@gdbroman
Copy link
Contributor

Lgtm, but is the field not optional?

@Tenari
Copy link
Contributor Author

Tenari commented Oct 17, 2023

nah, urbit json parsing is the way it is. requires the field to be there. I could update the json parser to be more flexible, but this is easier and we might as well pass it anyway

Copy link
Contributor

@gdbroman gdbroman left a comment

Choose a reason for hiding this comment

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

Okay, let's get this in before the agent update then so the client doesn't crash.

@Tenari Tenari merged commit db0131b into master Oct 20, 2023
@Tenari Tenari deleted the creat-chat-format-change branch October 20, 2023 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants