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

edits: changes to files in gh repo #393

Merged
merged 13 commits into from
Jun 27, 2024
Merged

edits: changes to files in gh repo #393

merged 13 commits into from
Jun 27, 2024

Conversation

FelixNicolaeBucsa
Copy link
Contributor

@FelixNicolaeBucsa FelixNicolaeBucsa commented Jun 6, 2024

Proposed changes

update repo health files w.r.t. the new organisation-wide standards.

Types of changes

What types of changes does your code introduce?
Put an x in the boxes that apply

  • Bugfix (non-breaking change that fixes an issue)
  • New feature (non-breaking change that adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to stop working as expected)
  • Something else (e.g. tests, scripts, example, deployment, infrastructure, ...)

Checklist

Put an x in the boxes that apply.

  • I have read the CONTRIBUTING document.
  • I have based my branch, and I am making a pull request against, the main branch.
  • Checks and tests pass locally.

Copy link
Member

@5A11 5A11 left a comment

Choose a reason for hiding this comment

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

lgtm

@5A11 5A11 merged commit 8e0e1d4 into main Jun 27, 2024
35 checks passed
@5A11 5A11 deleted the edits/gh-resources branch June 27, 2024 12:24
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