[sealed-types] Withdrawn: Merge master
duke
duke at openjdk.org
Tue Jan 3 09:44:32 UTC 2023
On Thu, 26 Nov 2020 22:03:14 GMT, J. Duke <duke at openjdk.org> wrote:
> Hi all,
>
> this is an _automatically_ generated pull request to notify you that there are 129 commits from the branch `master`that can **not** be merged into the branch `sealed-types`:
>
> The following file contains merge conflicts:
>
> - src/java.base/share/classes/java/lang/Package.java
>
> All Committers in this [project](https://openjdk.java.net/census#amber) have access to my [personal fork](https://github.com/openjdk-bot/amber) and can therefore help resolve these merge conflicts (you may want to coordinate who should do this).
> The following paragraphs will give an example on how to solve these merge conflicts and push the resulting merge commit to this pull request.
> The below commands should be run in a local clone of your [personal fork](https://wiki.openjdk.java.net/display/skara#Skara-Personalforks) of the [openjdk/amber](https://github.com/openjdk/amber) repository.
>
>
> # Ensure target branch is up to date
> $ git checkout sealed-types
> $ git pull https://github.com/openjdk/amber.git sealed-types
>
> # Fetch and checkout the branch for this pull request
> $ git fetch https://github.com/openjdk-bot/amber.git +75:openjdk-bot-75
> $ git checkout openjdk-bot-75
>
> # Merge the target branch
> $ git merge sealed-types
>
>
> When you have resolved the conflicts resulting from the `git merge` command above, run the following commands to create a merge commit:
>
>
> $ git add paths/to/files/with/conflicts
> $ git commit -m 'Merge master'
>
>
>
> When you have created the merge commit, run the following command to push the merge commit to this pull request:
>
>
> $ git push https://github.com/openjdk-bot/amber.git openjdk-bot-75:75
>
>
> _Note_: if you are using SSH to push commits to GitHub, then change the URL in the above `git push` command accordingly.
>
> Thanks,
> J. Duke
This pull request has been closed without being integrated.
-------------
PR: https://git.openjdk.org/amber/pull/72
More information about the amber-dev
mailing list