Home/ Questions/Q 6968241
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-27T16:25:36+00:00

I want to make use of this feature — https://github.com/xetorthio/jedis/pull/160 . Although this issue

  • 0

I want to make use of this feature — https://github.com/xetorthio/jedis/pull/160. Although this issue has been closed, it has not been merged with the master. Is it possible to clone the master on my local machine and merge pull request #160 on my local copy? If so, how can I do it?

Master branch is https://github.com/xetorthio/jedis

Thank you.

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    First, keep in mind that this pull request has been closed because:

    Thanks a lot for this pull request but this will be fixed by adding overloads with Strings which will fix also issue #74

    So your merge might come in conflict with a future patch which will be merged to master.

    That being said, a pull request is a patch, so you can view it as a diff (select diff button on the pull request page), copy those diffs in a patch file, and apply it to your local repo (as in “How to apply git diff patch?“)

    • 0