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:11Z] Sven_vB i'll do
+ [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?