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

doc:Update dev setup #1314

Merged
merged 2 commits into from
Feb 22, 2023
Merged

doc:Update dev setup #1314

merged 2 commits into from
Feb 22, 2023

Conversation

egdmrsy
Copy link
Contributor

@egdmrsy egdmrsy commented Feb 20, 2023

Checklist

  • I have followed (at least) the PR section of the contributing guide.
  • I fixed all necessary PR warnings
  • The commit history is clean
  • The E2E tests are passing
  • If possible, the issue has been divided into more subtasks
  • I did a self review before requesting a review from another team member

Description

Closes #1313

Copy link
Collaborator

@georgimld georgimld left a comment

Choose a reason for hiding this comment

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

changes are approved, but the audits need to be fixed before merging

@openkfwCI
Copy link

openkfwCI commented Feb 22, 2023

NotesTime
Note for Reviewer: E2E tests on remote server succeededWed, 22 Feb 2023 10:17:29 +0000

Generated by E2E-Test

@egdmrsy egdmrsy merged commit 3f59453 into main Feb 22, 2023
@galethil galethil deleted the 1313-update-developer-setup branch February 28, 2024 12:23
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.

Update Developer Setup
3 participants