Skip to content

Conversation

@luhenry
Copy link
Member

@luhenry luhenry commented Oct 9, 2020

We made a typo in #212 when updating make/devkit/createWindowsDevkit2017.sh.


Progress

  • Change must not contain extraneous whitespace
  • Commit message must refer to an issue
  • Change must be properly reviewed

Issue

  • JDK-8254311: Incorrect statements in createWindowsDevkit2017.sh

Reviewers

Download

$ git fetch https://git.openjdk.java.net/jdk pull/581/head:pull/581
$ git checkout pull/581

@bridgekeeper
Copy link

bridgekeeper bot commented Oct 9, 2020

👋 Welcome back luhenry! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

@luhenry
Copy link
Member Author

luhenry commented Oct 9, 2020

/issue add 8254311

@openjdk
Copy link

openjdk bot commented Oct 9, 2020

⚠️ @luhenry a branch with the same name as the source branch for this pull request (master) is present in the target repository. If you eventually integrate this pull request then the branch master in your personal fork will diverge once you sync your personal fork with the upstream repository.

To avoid this situation, create a new branch for your changes and reset the master branch. You can do this by running the following commands in a local repository for your personal fork. Note: you do not have to name the new branch NEW-BRANCH-NAME.

$ git checkout -b NEW-BRANCH-NAME
$ git branch -f master aaa0a2a04792d7c84150e9d972790978ffcc6890
$ git push -f origin master

Then proceed to create a new pull request with NEW-BRANCH-NAME as the source branch and close this one.

@openjdk
Copy link

openjdk bot commented Oct 9, 2020

@luhenry This issue is referenced in the PR title - it will now be updated.

@openjdk
Copy link

openjdk bot commented Oct 9, 2020

@luhenry The following label will be automatically applied to this pull request:

  • build

When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing list. If you would like to change these labels, use the /label pull request command.

@openjdk openjdk bot added build build-dev@openjdk.org rfr Pull request is ready for review labels Oct 9, 2020
@mlbridge
Copy link

mlbridge bot commented Oct 9, 2020

Webrevs

@openjdk
Copy link

openjdk bot commented Oct 9, 2020

@luhenry This change now passes all automated pre-integration checks.

ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details.

After integration, the commit message for the final commit will be:

8254311: Incorrect statements in createWindowsDevkit2017.sh

Reviewed-by: erikj, thartmann

You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed.

At the time when this comment was updated there had been 51 new commits pushed to the master branch:

As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details.

As you do not have Committer status in this project an existing Committer must agree to sponsor your change. Possible candidates are the reviewers of this PR (@erikj79, @TobiHartmann) but any other Committer may sponsor as well.

➡️ To flag this PR as ready for integration with the above commit message, type /integrate in a new comment. (Afterwards, your sponsor types /sponsor in a new comment to perform the integration).

@openjdk openjdk bot added the ready Pull request is ready to be integrated label Oct 9, 2020
@luhenry
Copy link
Member Author

luhenry commented Oct 12, 2020

@TobiHartmann as you reported https://bugs.openjdk.java.net/browse/JDK-8254311, could you please review and eventually sponsor? Thank you!

Copy link
Member

@TobiHartmann TobiHartmann left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@luhenry
Copy link
Member Author

luhenry commented Oct 13, 2020

/integrate

@openjdk openjdk bot added the sponsor Pull request is ready to be sponsored label Oct 13, 2020
@openjdk
Copy link

openjdk bot commented Oct 13, 2020

@luhenry
Your change (at version 790078a) is now ready to be sponsored by a Committer.

@TobiHartmann
Copy link
Member

/sponsor

@openjdk openjdk bot closed this Oct 13, 2020
@openjdk openjdk bot added integrated Pull request has been integrated and removed sponsor Pull request is ready to be sponsored ready Pull request is ready to be integrated rfr Pull request is ready for review labels Oct 13, 2020
@openjdk
Copy link

openjdk bot commented Oct 13, 2020

@TobiHartmann @luhenry Since your change was applied there have been 51 commits pushed to the master branch:

Your commit was automatically rebased without conflicts.

Pushed as commit 715e24a.

💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.

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

Labels

build build-dev@openjdk.org integrated Pull request has been integrated

Development

Successfully merging this pull request may close these issues.

3 participants