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

Write Gitpod app.ini only once #23192

Merged
merged 2 commits into from
Feb 28, 2023
Merged

Write Gitpod app.ini only once #23192

merged 2 commits into from
Feb 28, 2023

Conversation

yardenshoham
Copy link
Member

@yardenshoham yardenshoham commented Feb 28, 2023

Before this change, the app.ini would get overwritten on each workspace start, confusing Gitea. It asked for reinstallation each time. This makes sure the file is written only once by checking it does not exist before creating it.


Review without whitespace diff

@yardenshoham yardenshoham added the skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. label Feb 28, 2023
@yardenshoham yardenshoham added this to the 1.20.0 milestone Feb 28, 2023
.gitpod.yml Outdated Show resolved Hide resolved
@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Feb 28, 2023
Co-authored-by: delvh <dev.lh@web.de>
@GiteaBot GiteaBot added lgtm/need 1 This PR needs approval from one additional maintainer to be merged. and removed lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. labels Feb 28, 2023
@codecov-commenter
Copy link

Codecov Report

❗ No coverage uploaded for pull request base (main@cbc9a0f). Click here to learn what that means.
The diff coverage is n/a.

❗ Current head 13bc9ab differs from pull request most recent head 0c2878c. Consider uploading reports for the commit 0c2878c to get more accurate results

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@           Coverage Diff           @@
##             main   #23192   +/-   ##
=======================================
  Coverage        ?   47.41%           
=======================================
  Files           ?     1140           
  Lines           ?   150988           
  Branches        ?        0           
=======================================
  Hits            ?    71597           
  Misses          ?    70916           
  Partials        ?     8475           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@lunny lunny merged commit 443dcc2 into go-gitea:main Feb 28, 2023
@yardenshoham yardenshoham deleted the gitpod-init branch February 28, 2023 15:41
zjjhot added a commit to zjjhot/gitea that referenced this pull request Mar 1, 2023
* giteaofficial/main:
  [skip ci] Updated translations via Crowdin
  Properly flush unique queues on startup (go-gitea#23154)
  Use context parameter in services/repository (go-gitea#23186)
  Pass `--global` when calling `git config --get`, for consistency with `git config --set` (go-gitea#23157)
  Make `gitea serv` respect git binary home (go-gitea#23138)
  Write Gitpod `app.ini` only once (go-gitea#23192)
  Avoid too long names for actions (go-gitea#23162)
@go-gitea go-gitea locked and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
lgtm/need 1 This PR needs approval from one additional maintainer to be merged. skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants