latest 20 messages by no_gravity
+
[2020-04-12T09:16:16Z]
no_gravity
Is it possible to search a repo on github but exclude any path that contains "tests"?
+
[2020-01-20T09:58:48Z]
no_gravity
sbeyer: I see.
+
[2020-01-20T09:23:07Z]
no_gravity
Not every GitHub repos has a "issues" tab?
+
[2019-10-28T09:43:21Z]
no_gravity
"no-gravity force-pushed the no-gravity:master branch from ... to ... 1 minute ago".
+
[2019-10-28T09:43:03Z]
no_gravity
Which looks a bit shitty in the pull request but well.
+
[2019-10-28T09:42:49Z]
no_gravity
I just did that.
+
[2019-10-28T09:31:55Z]
no_gravity
Isn't that a bad thing?
+
[2019-10-28T09:31:50Z]
no_gravity
Just noticed, that when you make a pull request from your master to someone elses master and *after* that add commits to your master, those commits become part of the pull request.
+
[2019-05-01T13:20:08Z]
no_gravity
Is there a way to find projects that use a specific framework on Github?
+
[2019-04-05T07:29:58Z]
no_gravity
Found it!
+
[2019-04-05T07:27:02Z]
no_gravity
Is there a way to create custom labels for issues?
+
[2017-04-04T07:38:31Z]
no_gravity
Ah, filename:...
+
[2017-04-04T07:35:58Z]
no_gravity
Can you search github for files of a certain name?
+
[2017-03-26T18:28:32Z]
no_gravity
Maybe. Facebook in fact does it too.
+
[2017-03-26T18:24:46Z]
no_gravity
Interesting: GitHub is one of the few sites where the users urls are directly in the root. Like github.com/username
+
[2016-07-18T15:02:01Z]
no_gravity
irc-5225225: Figured it out. 1. click "compare". 2. "create pull request". 3. "merge" :)
+
[2016-07-18T14:59:33Z]
no_gravity
irc-5225225: This is not about anything local.
+
[2016-07-18T14:59:26Z]
no_gravity
irc-5225225: I just want my fork to be up to date with the original.
+
[2016-07-18T14:58:00Z]
no_gravity
irc-5225225: You could say so.
+
[2016-07-18T14:56:49Z]
no_gravity
irc-5225225: It has a web interface at github.com