Skip to content

Polishing#1

Merged
ncanceill merged 11 commits intomainfrom
dev/polishing
Nov 14, 2023
Merged

Polishing#1
ncanceill merged 11 commits intomainfrom
dev/polishing

Conversation

@ncanceill
Copy link
Copy Markdown
Owner

@ncanceill ncanceill commented Nov 12, 2023

Various improvements:

  • fix some wrong references
  • add quickstart instructions
  • split READMEs: one for GitHub, one for PyPI, one for pdoc
  • rename Foo to Bar for aesthetic reasons
  • fix make package dependencies
  • fix Build workflow triggers

@ncanceill ncanceill closed this Nov 12, 2023
@ncanceill ncanceill reopened this Nov 12, 2023
@ncanceill ncanceill merged commit 27c3c9d into main Nov 14, 2023
@ncanceill ncanceill deleted the dev/polishing branch November 14, 2023 17:16
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