Skip to content

Conversation

@bgruening
Copy link
Member

Welcome to deepTools GitHub repository! Please check the following regarding
your pull request :

  • Does the PR contain new feature?
  • Does the PR contain bugfix?
  • Does the PR contain documentation changes?
  • Does the PR contain changes to the galaxy wrapper?

@WardDeb WardDeb changed the base branch from master to develop August 10, 2023 14:28
@WardDeb WardDeb merged commit 47c0c57 into develop Aug 10, 2023
@WardDeb WardDeb deleted the label_check branch August 29, 2023 09:46
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