Code

Add merge pull request method#750

Code

Open

ploddi wants to merge 3 commits into47degrees:main47degrees/github4s:mainfrom ploddi:merge-pull-request-methodploddi/github4s:merge-pull-request-methodCopy head branch name to clipboard

+103

Commits

Commits on Jan 13, 2022

• Add PullRequestMergeMethod enum and json coder

  ploddi

  committed
  1429ec0

  Copy full SHA for 1429ec0

• Add pull request merge interpretator implementation

  ploddi

  committed
  f954a1b

  Copy full SHA for f954a1b

Commits on Jan 15, 2022

• Reformat to remove scalafmt error

  ploddi

  committed
  d1665d3

  Copy full SHA for d1665d3