Skip to content

Conversation

@v1v
Copy link
Member

@v1v v1v commented Sep 30, 2019

As a consequence of #1055 let's move each demos in independent PRs to track all the required dependencies.

Your checklist for this pull request

🚨 Please review the guidelines for contributing to this repository.

  • Make sure you are requesting to pull a topic/feature/bugfix branch (right side) and not your master branch!
  • Ensure that the pull request title represents the desired changelog entry
  • Please describe what you did
  • Link to relevant issues in GitHub or in Jenkins JIRA
  • Link to relevant pull requests, esp. upstream and downstream changes
  • Did you provide a test-case? That demonstrates feature works or fixes the issue.

@v1v v1v marked this pull request as ready for review October 1, 2019 15:18
@oleg-nenashev oleg-nenashev added the chore a PR that adds to maintenance - used by Release Drafter label Oct 2, 2019
Copy link
Member

@oleg-nenashev oleg-nenashev left a comment

Choose a reason for hiding this comment

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

Fine for now, but there is a known issue with JGit which is not covered by the integration tests.
CC @MarkEWaite

@timja timja merged commit c1bfdc4 into jenkinsci:master Oct 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore a PR that adds to maintenance - used by Release Drafter

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants