Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Some fixes#1972

Merged
webstech merged 4 commits intomaingitgitgadget/gitgitgadget:mainfrom
some-fixesgitgitgadget/gitgitgadget:some-fixesCopy head branch name to clipboard
Aug 15, 2025
Merged

Some fixes#1972
webstech merged 4 commits intomaingitgitgadget/gitgitgadget:mainfrom
some-fixesgitgitgadget/gitgitgadget:some-fixesCopy head branch name to clipboard

Conversation

@dscho
Copy link
Member

@dscho dscho commented Aug 15, 2025

While working towards a GitHub Action, I noticed a couple of issues that are really easy to resolve.

dscho added 4 commits August 15, 2025 15:03
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
We are using that pattern all over the place, and unless an attacker
gets write access to the `gitgitgadget/git` repository (in which case
there are much easier ways to wreak havoc than to go through
GitGitGadget), there is no way to inject anything.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Just a couple of indentation/formatting fixes.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
`npm` pointed out that:

  npm warn deprecated @types/json-stable-stringify@1.2.0: This is a stub
    types definition. json-stable-stringify provides its own type
    definitions, so you do not need this installed.
  npm warn deprecated @types/marked@6.0.0: This is a stub types
    definition. marked provides its own type definitions, so you do not
    need this installed.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
@dscho dscho requested a review from webstech August 15, 2025 15:42
@dscho
Copy link
Member Author

dscho commented Aug 15, 2025

@webstech I hope to be moving fast on these changes (as well as a couple of others, including one that will unbreak the Azure Pipelines after I merged #1473...). If you're available, I would appreciate timely reviews, but if this is an inopportune time for you, don't worry (I'll want to move relatively fast before my own availability dwindles again, hope you don't mind!).

Copy link
Contributor

@webstech webstech left a comment

Choose a reason for hiding this comment

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

Thanks for fixing up my style errors. It was probably cut and pasted at the time but I should have corrected them.

Funny how the styles differ between mjs and json.

@webstech webstech merged commit fd54c52 into main Aug 15, 2025
6 checks passed
@webstech webstech deleted the some-fixes branch August 15, 2025 16:59
@dscho
Copy link
Member Author

dscho commented Aug 15, 2025

@webstech thanks!

Funny how the styles differ between mjs and json.

TBH I think this might just be a change in ESLint, I didn't manage to keep up with it ;-)

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

Morty Proxy This is a proxified and sanitized view of the page, visit original site.