Skip to content

Git dev deployments #7672

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

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Open

Git dev deployments #7672

wants to merge 15 commits into from

Conversation

k-anshul
Copy link
Member

@k-anshul k-anshul commented Jul 25, 2025

https://linear.app/rilldata/issue/PLAT-94/git-support-for-dev-deployments

TODO: Cleanup git APIs in CLI when UI migrates to API in runtime

Checklist:

  • Covered by tests
  • Ran it and it works as intended
  • Reviewed the diff before requesting a review
  • Checked for unhandled edge cases
  • Linked the issues it closes
  • Checked if the docs need to be updated. If so, create a separate Linear DOCS issue
  • Intend to cherry-pick into the release branch
  • I'm proud of this work!

@k-anshul k-anshul self-assigned this Jul 25, 2025

// merge default branch into edit branch
if force {
// Maybe instead of merge with the "theirs" strategy should we just reset to the default branch?
Copy link
Member Author

@k-anshul k-anshul Jul 30, 2025

Choose a reason for hiding this comment

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

When doing a force merge of default branch to edit branch should we just reset to default branch ?

@@ -167,15 +200,34 @@ func (r *gitRepo) root() string {

// commitToEditBranch auto-commits any current changes to the edit branch of the repository.
// This is done to checkpoint progress when the handle is closed.
// If there are conflicts, it should drop any local changes.
// If there are conflicts, it should drop any local changes. Why ??
Copy link
Member Author

Choose a reason for hiding this comment

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

Usually there should not be any changes in edit branch that exist on remote but doesn't exist locally but even if there are it should drop those and commit local since this will be triggered on close or explicit user input

@k-anshul k-anshul marked this pull request as ready for review July 30, 2025 12:04
@k-anshul k-anshul requested a review from begelundmuller July 30, 2025 12:05
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.

1 participant