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

Update tool SGWB to 0.0.1+galaxy0 #80

Merged
merged 23 commits into from
Apr 17, 2024

Conversation

dsavchenko
Copy link
Collaborator

No description provided.

ODA bot added 20 commits February 21, 2024 17:06
@volodymyrss volodymyrss self-requested a review April 17, 2024 09:20
@volodymyrss
Copy link
Contributor

Why is it still failing, this we saw before I think?

@dsavchenko dsavchenko enabled auto-merge (squash) April 17, 2024 09:45
@dsavchenko
Copy link
Collaborator Author

Why is it still failing, this we saw before I think?

The bot was stuck, so the change from the last commit hadn't been propagated. I also changed the repo config to enable "merge main branch". One problematic action is removed in main already. Now all CI/CD will pass, I suppose.

Copy link
Contributor

@volodymyrss volodymyrss left a comment

Choose a reason for hiding this comment

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

I added the review just to satisfy formal condition.
We should really use a bot, and then @dsavchenko can review too.
We don't have a bot in this org yet I guess. Let's just add special one, @dsavchenko ? If you have trouble with it, I will do.

@dsavchenko dsavchenko merged commit d5be362 into main Apr 17, 2024
12 checks passed
@dsavchenko
Copy link
Collaborator Author

We don't have a bot in this org yet I guess. Let's just add special one, @dsavchenko ? If you have trouble with it, I will do.

OK, I will deal with it. I thought of the one you recently created in the other org, but separating is probably better

@volodymyrss
Copy link
Contributor

We don't have a bot in this org yet I guess. Let's just add special one, @dsavchenko ? If you have trouble with it, I will do.

OK, I will deal with it. I thought of the one you recently created in the other org,

but separating is probably better

Exactly. For security and easier management of different functions.

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

Successfully merging this pull request may close these issues.

2 participants