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

Adicionando domínio aememmartins.pt #25424

Merged
merged 3 commits into from
Nov 25, 2024

Conversation

BernardoBhering
Copy link

Adicionando domínio aememmartins.pt para o Agrupamento de Escolas Mem Martins

@philipto
Copy link
Collaborator

@BernardoBhering lib/domains/aememmartins.txt: this request has an incorrect file path format, please ensure that you are familiar with this repository rules located at the bottom of this page and change your request accordingly. If you don't know how to change request, close it and open a new one. If you are not able to make the pull request according the instructions, please send us an email to [email protected]. Please mention this request URL in the message.

@philipto philipto added the malformatted Pull request has a file with non-compliant naming label Nov 25, 2024
@philipto philipto removed the malformatted Pull request has a file with non-compliant naming label Nov 25, 2024
@philipto philipto merged commit 6153b7f into JetBrains:master Nov 25, 2024
@philipto
Copy link
Collaborator

@BernardoBhering Thank you for your patience while waiting for a review and processing your request. Pull request merged.
Please start requesting the licenses in about an hour, to let the changes to propagate through our system.

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.

2 participants