Skip to content

Prettier#1255

Merged
reedy merged 12 commits intojpatokal:masterfrom
reedy:prettier
Jul 10, 2023
Merged

Prettier#1255
reedy merged 12 commits intojpatokal:masterfrom
reedy:prettier

Conversation

@reedy
Copy link
Collaborator

@reedy reedy commented Jul 10, 2023

Ping #1235

@chrisrosset
Copy link
Collaborator

If you're renaming openlayers.js maybe we could move it to /js?

@reedy reedy force-pushed the prettier branch 6 times, most recently from ca9b9f1 to 085d669 Compare July 10, 2023 13:02
@reedy
Copy link
Collaborator Author

reedy commented Jul 10, 2023

Dropped effects.js too as unused. Probably should've gone with eb830a8

@reedy
Copy link
Collaborator Author

reedy commented Jul 10, 2023

Probably GTG at this point...

CI running correctly for direct push would be nice, but that can happen later...

reedy added 4 commits July 10, 2023 13:44
Remove export.sql, went away in 4ff8baf
Pinned at ^2.8.8 due to version of npm in 22.04 (3.0.0+ doesn't work)
@reedy
Copy link
Collaborator Author

reedy commented Jul 10, 2023

Any objects to merging this at this point?

@chrisrosset
Copy link
Collaborator

Any objects to merging this at this point?

This is great! Let's gooooooooooo.

@reedy reedy merged commit 231d5a2 into jpatokal:master Jul 10, 2023
@reedy reedy deleted the prettier branch July 10, 2023 14:22
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