Locate the section for your github remote in the .git/config
file. It looks like this:
Now add this lines:
[remote "github"]
url = [email protected]:joyent/node.git
fetch = +refs/pull/*/head:refs/remotes/github/pr/*
Locate the section for your github remote in the .git/config
file. It looks like this:
Now add this lines:
[remote "github"]
url = [email protected]:joyent/node.git
fetch = +refs/pull/*/head:refs/remotes/github/pr/*
Locate the section for your github remote in the .git/config
file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
Now add a new remote. Obviously, change the github url to match your project's URL. It ends up looking like this:
#!/usr/bin/env python | |
#-*- coding:utf-8 -*- | |
import BaseHTTPServer | |
import sys | |
import time | |
import urlparse | |
import json | |
from erppeek import Client | |
import sys | |
import base64 | |
from subprocess import call | |
import time | |
report = 'xml_report_name' | |
ids = [object_id] | |
delete from wkf_workitem where id in (select min(wkd.id) from wkf_workitem wkd where wkd.inst_id in (select | |
inst_id | |
from | |
wkf_workitem wki | |
JOIN wkf_instance ins ON ins.id = wki.inst_id | |
group by | |
inst_id, ins.res_id, ins.res_type, ins.uid | |
having | |
count(*) > 1 |