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.

Sign up for GitHub

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

Jump to bottom

Fix docu on undeploy.json #493

Merged
merged 2 commits into from
Oct 23, 2023
Merged

Fix docu on undeploy.json #493

merged 2 commits into from
Oct 23, 2023

Conversation

stewsk
Copy link
Contributor

@stewsk stewsk commented Oct 20, 2023

  • file is created in folder "db", not in "db/src"
  • formatting issue in first code snippet: there were 2 tabs, the second being empty

@stewsk
Fix docu on undeploy.json
0532cd4 
* file is created in folder "db", not in "db/src"
* formatting issue in first code snippet: there were 2 tabs, the second
  being empty
@stewsk stewsk requested review from chgeo and swaldmann October 20, 2023 15:01
@stewsk stewsk marked this pull request as ready for review October 20, 2023 15:01
@swaldmann swaldmann merged commit 426d1de into main Oct 23, 2023
4 checks passed
@swaldmann swaldmann deleted the undeploy-json branch October 23, 2023 08:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@swaldmann swaldmann swaldmann approved these changes

@chgeo chgeo chgeo approved these changes

@renejeglinsky renejeglinsky Awaiting requested review from renejeglinsky renejeglinsky is a code owner

@smahati smahati Awaiting requested review from smahati

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@stewsk @chgeo @swaldmann