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.

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

chore: drop unused Pipfile check #2020

Merged
merged 1 commit into from
Jun 11, 2021
Merged

chore: drop unused Pipfile check #2020

merged 1 commit into from
Jun 11, 2021

Conversation

lili2311
Copy link
Contributor

@lili2311 lili2311 commented Jun 11, 2021 •
edited

What does this PR do?

Drop unused Pipfile project check.

@lili2311 lili2311 self-assigned this Jun 11, 2021
@github-actions
Copy link
Contributor

github-actions bot commented Jun 11, 2021 •
edited

Messages
📖

This PR will not trigger a new version. It doesn't include any commit message with feat or fix.

Generated by 🚫 dangerJS against 4cfa321

@lili2311 lili2311 force-pushed the chore/drop-unused-pipfile-check branch from 473b366 to 4cfa321 Compare June 11, 2021 10:19
@lili2311 lili2311 marked this pull request as ready for review June 11, 2021 11:06
@lili2311 lili2311 requested a review from a team as a code owner June 11, 2021 11:06
@lili2311 lili2311 merged commit c29cb7b into master Jun 11, 2021
@lili2311 lili2311 deleted the chore/drop-unused-pipfile-check branch June 11, 2021 13:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aarlaud aarlaud aarlaud approved these changes

@mathild3r mathild3r mathild3r approved these changes

Assignees

@lili2311 lili2311

Labels
🐂 Team Bull
Projects
None yet
Milestone
No milestone
3 participants
@lili2311 @aarlaud @mathild3r