Skip to content

Conversation

@mtsgrd
Copy link
Contributor

@mtsgrd mtsgrd commented Nov 6, 2024

Simplifying to keep things simple in the front end

This is part of a stack made with GitButler:

@vercel
Copy link

vercel bot commented Nov 6, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
gitbutler-web ✅ Ready (Inspect) Visit Preview 💬 Add feedback Nov 6, 2024 11:21pm

/// None if is no review unit, eg. no Pull Request has been created.
#[serde(default)]
pub forge_id: Option<ForgeIdentifier>,
pub pull_request_id: Option<i32>,
Copy link
Member

Choose a reason for hiding this comment

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

Perhaps update the docs above - is it a PR number or a PR id? The previous type had PR number. The GitHub api has both... and i always mix them up. I think the PR number needs a repo as well, while the PR ID is more globally unique or something.

Also - you probably want useize not i32

krlvi
krlvi previously approved these changes Nov 6, 2024
@krlvi krlvi self-requested a review November 6, 2024 20:29
@krlvi krlvi dismissed their stale review November 6, 2024 20:30

remembered something

@mtsgrd mtsgrd force-pushed the remove-forge-id-type branch from 76d4313 to 9e22c6f Compare November 6, 2024 20:32
Copy link
Member

@krlvi krlvi left a comment

Choose a reason for hiding this comment

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

nvm. i initially though about deserializing the value from the old type to the new type but just realised that since the name is different it wont be a problem.
i should get some sleep

- simplifying to keep things simple in the front end
@mtsgrd mtsgrd force-pushed the remove-forge-id-type branch from 9e22c6f to b635d94 Compare November 6, 2024 23:06
@mtsgrd mtsgrd force-pushed the remove-forge-id-type branch from b635d94 to 54caba3 Compare November 6, 2024 23:20
@krlvi krlvi merged commit 077626c into master Nov 7, 2024
19 checks passed
@krlvi krlvi deleted the remove-forge-id-type branch November 7, 2024 09:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

@gitbutler/desktop rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants