git - Get result of merging a PR while it is already merged -


for pr number 1 github automatically creates ref refs/pulls/1/head , refs/pulls/1/merge. latter contains result of merge , useful e.g. ci (because want test result of merge).

after merging pr, refs/pulls/<number>/merge no longer available (i suppose because pr no longer mergeable). want run test on version merged while ago. there easy way access result of merged pr, given pr number?

the following should trick though should aware there possibly multiple "children" of commit (someone else base work on pr , merge master again later):

$ git rev-list -n1 upstream/pull/<number>..upstream/master

this works getting first commit walking upstream/pull/<number> upstream/master. luckily github leaves upstream/pull/<number> on last commit of pr.

here's example of https://github.com/rdflib/rdflib:

it's current history looks this:

* 371263f - (upstream/pull/486) removed debugging print statement ... *   fe3fa52 - (upstream/master, upstream/head) merge pull request #482 |\ | * 354c352 - (upstream/pull/482) fix broken example |/ *   f81e0b2 - merge pull request #480 ....

here test output:

$ git rev-list -n1 upstream/pull/482..upstream/master fe3fa522b48e787fa87dc1156e1a10bd6671b62c $ git rev-list -n1 upstream/pull/486..upstream/master (no output)

Comments

Post a Comment

Popular posts from this blog

Magento/PHP - Get phones on all members in a customer group -

i working on custom magento extension. working around adminhtml part , i've created custom form there. here form code: <?php class vivasindustries_smsnotification_block_adminhtml_sms_sendmass_edit_form extends mage_adminhtml_block_widget_form { public function _preparelayout() { $extensionpath = mage::getmoduledir('js', 'vivasindustries_smsnotification'); $head = $this->getlayout()->getblock('head'); $head->addjs('jquery.js'); $head->addjs('vivas.js'); return parent::_preparelayout(); } protected function _prepareform() { $form = new varien_data_form(array( 'id' => 'edit_form', 'action' => $this->geturl('*/*/save', array('id' => $this->getrequest()->get...
Read more

php - Bypass Geo Redirect for specific directories -

i'm trying bypass redirect specific url within site. wondering if might able help. the code below code use, original urls replaces example.com i'd able access http://example.com/admin without redirect occuring. is there way this, , there way using own ip? function country_geo_redirect() { $country = getenv('http_geoip_country_code'); if ($country == "us" ) { wp_redirect("http://usa.example.com/"); exit; } else if ($country == "gb" ) { wp_redirect("http://uk.example.com/"); exit; } } add_action('init', 'country_geo_redirect'); you can bypass redirection code if server found ip address. if ip address == <my ip address> ' nothing here else country_georedirect() end if
Read more

php - .htaccess mod_rewrite for dynamic url which has domain names -

i want convert url ex:( example.com/link.php?url=facebook.com ) ( example.com/facebook.com.php ) how can using .htaccess. or there other process make job easier ? i tried adding script .htaccess file options +followsymlinks rewriteengine on rewriterule url-(.*)\.htm$ link.php?url=$1 but converting url adding "url-" ( example.com/url-facebook.com.php ) i want remove "url-" , want make ( example.com/facebook.com.php ) rewriteengine on rewritecond %{the_request} ^get.*link\.php\?url\= [nc] rewritecond %{request_uri} !/system/.* [nc] rewriterule (.*?)link\.php\?url\=/*(.*) /$1$2 [r=301,ne,l] not sure how above work edit of used use remove index.php url
Read more