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

[jvm-packages] Set up dependabot #8501

Merged
merged 1 commit into from
Dec 1, 2022
Merged

[jvm-packages] Set up dependabot #8501

merged 1 commit into from
Dec 1, 2022

Conversation

hcho3
Copy link
Collaborator

@hcho3 hcho3 commented Dec 1, 2022

This may help us keep dependencies up to date.

@wbo4958
Copy link
Contributor

wbo4958 commented Dec 1, 2022

@hcho3 what does dependabot do?

@hcho3
Copy link
Collaborator Author

hcho3 commented Dec 1, 2022

@wbo4958 It automatically generates pull requests to update the dependencies.

@trivialfis
Copy link
Member

I thought github have that by default?

@hcho3
Copy link
Collaborator Author

hcho3 commented Dec 1, 2022

I thought github have that by default?

Not quite. We need to opt into it by creating the config file.

Let's give it a try and see if the bot works as intended.

@hcho3 hcho3 merged commit 9a98e79 into master Dec 1, 2022
@hcho3 hcho3 deleted the setup_dependabot branch December 1, 2022 06:46
@hcho3
Copy link
Collaborator Author

hcho3 commented Dec 1, 2022

Looks like I made a mistake in the ignore specification. I will create a new pull request to follow up.

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.

3 participants