Skip to content

Server: Properly deduplicate string#522

Merged
bilelmoussaoui merged 1 commit into
linux-credentials:mainfrom
tragivicky:main
Jul 15, 2026
Merged

Server: Properly deduplicate string#522
bilelmoussaoui merged 1 commit into
linux-credentials:mainfrom
tragivicky:main

Conversation

@tragivicky

Copy link
Copy Markdown
Contributor

In #521 I accidentally introduced new string. This commit fixes this.

@bilelmoussaoui

Copy link
Copy Markdown
Collaborator

Can we use the same quotes style everywhere?

@tragivicky

Copy link
Copy Markdown
Contributor Author

Sure. I'm in bed right now tho, so will do it in the morning, unless someone wants to force push to my branch, then feel free to do so. The other string that would need fixing is in /server/src/gnome/prompter.rs.

@tragivicky
tragivicky force-pushed the main branch 2 times, most recently from 3c418b2 to 9c6257c Compare July 15, 2026 07:46
@tragivicky

Copy link
Copy Markdown
Contributor Author

I tried to fix this, but I have absolutely 0 idea why github feels the need to include completely unrelated commit here. I didn't even touched it, so why is this shown here?

@bilelmoussaoui

Copy link
Copy Markdown
Collaborator

your changes contain an unrelated commit, please rebase

In linux-credentials#521 I accidentally introduced new string. This commit fixes this.
@tragivicky tragivicky reopened this Jul 15, 2026
@bilelmoussaoui
bilelmoussaoui merged commit b520f37 into linux-credentials:main Jul 15, 2026
16 of 18 checks passed
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