Skip to content

Conversation

@renejeglinsky
Copy link
Contributor

No description provided.

@renejeglinsky renejeglinsky changed the base branch from main to js-rulez August 29, 2025 10:55
@renejeglinsky
Copy link
Contributor Author

renejeglinsky commented Aug 29, 2025

@daogrady I accidentally based my new branch on "yours" (as CG is away). If you're fine with the changes we can merge it. For me it was now a try for mass editing with an agent. So I need to review it myself first.

@daogrady
Copy link
Contributor

daogrady commented Sep 1, 2025

Oh boy! 😄
Yes, I am fine with these changes, so feel free to merge into "my" branch. But from a quick glance, it looks like you did not touch any of the files I edited in mine, so you could probably also rebase this PR on the main branch, if you prefer that.

@renejeglinsky renejeglinsky changed the base branch from js-rulez to main September 1, 2025 06:03
@renejeglinsky renejeglinsky marked this pull request as ready for review September 12, 2025 12:00
@renejeglinsky
Copy link
Contributor Author

@chgeo @swaldmann Only this commit is of interest: 276cdd6

The rest is from a branch I accidentally branched from.

@chgeo chgeo enabled auto-merge (squash) September 25, 2025 08:49
@chgeo chgeo merged commit ec770d3 into main Sep 25, 2025
7 checks passed
@chgeo chgeo deleted the rjegl08/rulesEdit branch September 25, 2025 08:51
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.

5 participants