Skip to content

chore: merge master into modernize-minian (resolve README conflict)#322

Merged
daharoni merged 5 commits into
modernize-minianfrom
chore/sync-modernize-with-master
Jun 4, 2026
Merged

chore: merge master into modernize-minian (resolve README conflict)#322
daharoni merged 5 commits into
modernize-minianfrom
chore/sync-modernize-with-master

Conversation

@daharoni
Copy link
Copy Markdown
Contributor

@daharoni daharoni commented Jun 3, 2026

What

Merges master into modernize-minian to clear the README merge conflict blocking #301.

master had advanced by one logo PR (#253: add logo to repo / add logo to readme) that modernize-minian didn't have, and both branches edited the README header, so #301 went CONFLICTING.

Conflict resolution

The README header conflict was resolved to keep both improvements:

  • master's minian logo block (img/minian_logo.png, now also pulled in)
  • modernize-minian's miniscope/minian badge URLs (master still pointed at the old DeniseCaiLab org; the rest of the README already uses miniscope)

No other files conflicted; the only other change is the new img/minian_logo.png binary.

Why a separate PR

modernize-minian is a protected branch (changes must go through a PR + required checks), so the merge can't be pushed to it directly. Merging this into modernize-minian brings in master's logo and makes #301 mergeable.

@codecov
Copy link
Copy Markdown

codecov Bot commented Jun 4, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@daharoni daharoni merged commit a459c2a into modernize-minian Jun 4, 2026
12 checks passed
@daharoni daharoni deleted the chore/sync-modernize-with-master branch June 4, 2026 00:26
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.

3 participants