Skip to content

Some fixes - #1972

Merged
webstech merged 4 commits into
mainfrom
some-fixes
Aug 15, 2025
Merged

Some fixes#1972
webstech merged 4 commits into
mainfrom
some-fixes

Conversation

@dscho

@dscho dscho commented Aug 15, 2025

Copy link
Copy Markdown
Member

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
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 <[email protected]>
Just a couple of indentation/formatting fixes.

Signed-off-by: Johannes Schindelin <[email protected]>
`npm` pointed out that:

  npm warn deprecated @types/[email protected]: 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/[email protected]: This is a stub types
    definition. marked provides its own type definitions, so you do not
    need this installed.

Signed-off-by: Johannes Schindelin <[email protected]>
@dscho
dscho requested a review from webstech August 15, 2025 15:42
@dscho

dscho commented Aug 15, 2025

Copy link
Copy Markdown
Member Author

@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!).

@webstech webstech left a comment

Copy link
Copy Markdown
Contributor

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

dscho commented Aug 15, 2025

Copy link
Copy Markdown
Member Author

@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