Skip to content

2025 upkeep#1710

Merged
mine-cetinkaya-rundel merged 7 commits intomainfrom
2025-upkeep
Apr 28, 2025
Merged

2025 upkeep#1710
mine-cetinkaya-rundel merged 7 commits intomainfrom
2025-upkeep

Conversation

@mine-cetinkaya-rundel
Copy link
Copy Markdown
Collaborator

  • Use air for scripts (very few)
  • Add Positron preferences for sentence breaks
  • Fix a few typos/close issues
  • Remove empty lines after yaml code cell headers

@mine-cetinkaya-rundel mine-cetinkaya-rundel merged commit a2503d0 into main Apr 28, 2025
1 of 2 checks passed
@mine-cetinkaya-rundel mine-cetinkaya-rundel deleted the 2025-upkeep branch April 28, 2025 16:57
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.

1 participant