Skip to content

changed git remote#12

Merged
Aaramis merged 1 commit into
mainfrom
develop
May 19, 2025
Merged

changed git remote#12
Aaramis merged 1 commit into
mainfrom
develop

Conversation

@Aaramis

@Aaramis Aaramis commented May 19, 2025

Copy link
Copy Markdown
Collaborator

Description

Briefly describe the changes made.

Type of change

  • Correction of bug
  • New feature
  • Modification of an existing feature
  • Documentation
  • Other (specify)

How was this tested?

Describe the tests that were performed to verify your modifications.

Checklist:

  • I have performed a review of my own code
  • I have commented my code, particularly in complex areas
  • I have updated the documentation
  • My modifications do not generate new warnings
  • I have added tests that prove that my correction or feature works
  • Existing unit tests pass with my modifications

@Aaramis Aaramis merged commit 8493376 into main May 19, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Aaramis