shaarliGor
Tag cloud
Picture wall
Daily
RSS Feed
  • RSS Feed
  • Daily Feed
  • Weekly Feed
  • Monthly Feed
Filters

Links per page

  • 20 links
  • 50 links
  • 100 links

Filters

Untagged links
1 result tagged pull_request  ✕
Note: How to fetch pull request from GitHub? /shaarli/shaare/mUxsKg
Mon Aug 20 07:23:43 2018 archive.org

Add fetch = +refs/pull/*/head:refs/remotes/origin/pr/* in your .git/config file:

[remote "origin"]
    url = https://github.com/[user_or_org]/[repository].git
    fetch = +refs/heads/*:refs/remotes/origin/*
    fetch = +refs/pull/*/head:refs/remotes/origin/pr/*

In this example, origin is the main repository, not the forked one.

And then git fetch origin and git checkout pr/[ID] to review changes.

source: https://gist.github.com/piscisaureus/3342247

github pull_request trucs_et_astuces
2549 links, including 10 private
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Theme by kalvn