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.

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

Design Merging issue #164

Open
HARproject2020 opened this issue Oct 10, 2024 · 2 comments
Open

Design Merging issue #164

HARproject2020 opened this issue Oct 10, 2024 · 2 comments

Comments

@HARproject2020
Copy link
Contributor

HARproject2020 commented Oct 10, 2024

Hello
I have submitted my design files and it passed DRC verification. However they are not merged. Can you please consider it? Also, is merging automatic process or it need your approval after passing DRC in pull requests?
Pull request : Designs wo errors

Sincerely,
Shahab

@lukasc-ubc
Copy link
Member

What is your filename? And link to your Pull Request?

@HARproject2020
Copy link
Contributor Author

Hello Lukas
I could solve it. thank you.

Sincerely,
Shahab

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

No branches or pull requests

2 participants