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.

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
Open
k-anshul wants to merge 18 commits into
base: main
Choose a base branch
from
Open

Git dev deployments #7672

k-anshul wants to merge 18 commits into from

Conversation

@k-anshul
Copy link
Member

@k-anshul k-anshul commented Jul 25, 2025 •
edited
Loading

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
k-anshul
k-anshul commented Jul 30, 2025
View reviewed changes
@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
@k-anshul k-anshul force-pushed the git_dev_deployments branch from ad8283b to 8fbb760 Compare December 29, 2025 04:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@begelundmuller begelundmuller Awaiting requested review from begelundmuller

At least 1 approving review is required to merge this pull request.

Assignees

@k-anshul k-anshul

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@k-anshul