Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Mqt branding #159

Merged
merged 8 commits into from
May 13, 2024
Merged

Mqt branding #159

merged 8 commits into from
May 13, 2024

Conversation

lucasberent
Copy link
Collaborator

@lucasberent lucasberent commented May 8, 2024 •
edited by burgholzer
Loading

Description

This PR adjusts the repository with the latest MQT branding changes.

Fixes #158

Checklist:

  • The pull request only contains commits that are related to it.
  • I have added appropriate tests and documentation.
  • I have made sure that all CI jobs on GitHub pass.
  • The pull request introduces no new warnings and follows the project's style guidelines.

burgholzer
burgholzer requested changes May 8, 2024
View reviewed changes
Copy link
Member

@burgholzer burgholzer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall this LGTM 👍🏻
Many thanks. Only one small comment/request. Should only take a minute or so.

README.md Show resolved Hide resolved
burgholzer
burgholzer requested changes May 8, 2024
View reviewed changes
Copy link
Member

@burgholzer burgholzer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry to be so nitpicky here. But please check the PR diff. The previous comment is not fully resolved yet. There are still changes that are unrelated to the core of this PR.

burgholzer
burgholzer approved these changes May 13, 2024
View reviewed changes
Copy link
Member

@burgholzer burgholzer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! LGTM now 👍🏼

@burgholzer burgholzer merged commit 5e4f525 into main May 13, 2024
7 checks passed
@burgholzer burgholzer deleted the mqt-branding branch May 13, 2024 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@burgholzer burgholzer burgholzer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
MQT
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

🍱 MQT Branding
2 participants
@lucasberent @burgholzer