latest 14 messages by jeen
+
[2016-11-12T07:05:56Z]
jeen
are you trying to just create a local copy of his repo to work, or are you doing something else?
+
[2016-11-12T00:19:43Z]
jeen
mind you, once the job actually get started, it’s really quick: it executes our full build in half the time it takes on my local machine.
+
[2016-11-12T00:19:15Z]
jeen
are they having capacity issues at the moment, or is it normal that it’s this sluggish?
+
[2016-11-12T00:18:12Z]
jeen
anybody here experienced with travis ci? trying to integrate it into our github project, and it works… sort of. It’s very slow to start builds. a job gets created and then I have to wait for several hours before it actually gets executed.
+
[2016-07-01T02:54:49Z]
jeen
anybody have an idea about my problem with github setting 'noreply@github.com' as the committer on PR merges?
+
[2016-07-01T02:37:07Z]
jeen
no prob
+
[2016-07-01T02:36:33Z]
jeen
I don't think so. it just sends back a json object, but it should trivial to parse and get the value you need.
+
[2016-07-01T02:24:41Z]
jeen
See https://developer.github.com/v3/auth/
+
[2016-07-01T02:17:28Z]
jeen
fergal, you can get the sha of any commit by going to /repos/<owner>/<repo>/commits/<commitref> . You can get the commitref of the head from just retrieving the branch info I think.
+
[2016-07-01T01:38:59Z]
jeen
Yes, as long as you don't rewrite history his original commits will still be in there.
+
[2016-07-01T01:37:13Z]
jeen
Geo, you can either ask for write access on their fork, or else pull their feature branch locally, edit, then push to origin.
+
[2016-07-01T01:34:45Z]
jeen
question: when I merge a Pull Request on Github, for some reason it sets the Committer to noreply@github.com. I don't think it used to do that? Anybody know how I can avoid this?
+
[2016-05-11T20:03:46Z]
jeen
...ok, just read the blurb: " Choose an existing tag, or create a new tag on publish ". Never mind, need more coffee :S
+
[2016-05-11T20:00:38Z]
jeen
hi I have a question about github releases: is there a way to create a release in GitHub but associate it with an already-existing tag?