latest 16 messages by Sven_vB
+
[2019-07-19T15:40:04Z]
Sven_vB
hi! I'm not sure whether it's my eyes, or does GH fail to syntax-highlight the shell script in the latest comment? https://github.com/atom/language-shellscript/issues/100
+
[2014-11-17T13:00:41Z]
Sven_vB
bbl
+
[2014-11-17T13:00:11Z]
Sven_vB
i'll do
+
[2014-11-17T12:59:42Z]
Sven_vB
thy
+
[2014-11-17T12:59:08Z]
Sven_vB
np
+
[2014-11-17T12:58:13Z]
Sven_vB
i thought i'm already (t)here
+
[2014-11-17T12:56:58Z]
Sven_vB
i'd have to git-gc github's copy of my repo, i'll see if i can find an option for that.
+
[2014-11-17T12:56:19Z]
Sven_vB
tobiasvl, in the pull request comments, github still ists the commit.
+
[2014-11-17T12:50:07Z]
Sven_vB
hi :) is there a way to unpublish a commit? i've deleted its branch, but it referenced a PR, so in turn that PR still references the commit.
+
[2014-08-17T15:42:43Z]
Sven_vB
would be nice if i could do that w/o having multiple objects collections and w/o pulling and pushing each branch before merges
+
[2014-08-17T15:41:12Z]
Sven_vB
re :) what's the easiest way to work on different branches of the same repo in parallel, having a seperate worktree for the branches?
+
[2014-08-17T13:47:11Z]
Sven_vB
anyway, thanks
+
[2014-08-17T13:46:42Z]
Sven_vB
it does. now i'm disappointed of my earlier search engine. :/
+
[2014-08-17T13:44:33Z]
Sven_vB
oh right, can you recommend one?
+
[2014-08-17T13:43:04Z]
Sven_vB
ubuntu precise
+
[2014-08-17T13:41:38Z]
Sven_vB
hi! my current package sources don't have git-bzr-ng yet, so... is there a way github can help me fork some bzr branch?