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

Investigate PR merge queues #295

Open
k-rister opened this issue Feb 28, 2023 · 5 comments
Open

Investigate PR merge queues #295

k-rister opened this issue Feb 28, 2023 · 5 comments
Assignees

Comments

@k-rister
Copy link
Contributor

No description provided.

@k-rister k-rister self-assigned this Feb 28, 2023
@k-rister k-rister converted this from a draft issue Feb 28, 2023
@k-rister
Copy link
Contributor Author

@k-rister k-rister moved this from Todo to In Progress in Crucible Tracking Mar 1, 2023
@k-rister
Copy link
Contributor Author

k-rister commented Mar 3, 2023

@k-rister
Copy link
Contributor Author

k-rister commented Mar 3, 2023

@k-rister
Copy link
Contributor Author

k-rister commented Mar 3, 2023

@k-rister k-rister moved this from In Progress to Todo in Crucible Tracking Mar 8, 2023
@k-rister
Copy link
Contributor Author

k-rister commented Mar 8, 2023

Look at this again when it comes out of Beta, right now it just doesn't seem to make sense in practice...at least for our workflow.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Todo
Development

No branches or pull requests

1 participant