{"action":"created","issue":{"url":"https://api.github.com/repos/remko/wigit/issues/9","labels_url":"https://api.github.com/repos/remko/wigit/issues/9/labels{/name}","comments_url":"https://api.github.com/repos/remko/wigit/issues/9/comments","events_url":"https://api.github.com/repos/remko/wigit/issues/9/events","html_url":"https://github.com/remko/wigit/pull/9","id":96684681,"number":9,"title":"Created dark theme for WiGit / Pull and Push support","user":{"login":"gerhard-tinned","id":1536065,"avatar_url":"https://avatars.githubusercontent.com/u/1536065?v=3","gravatar_id":"","url":"https://api.github.com/users/gerhard-tinned","html_url":"https://github.com/gerhard-tinned","followers_url":"https://api.github.com/users/gerhard-tinned/followers","following_url":"https://api.github.com/users/gerhard-tinned/following{/other_user}","gists_url":"https://api.github.com/users/gerhard-tinned/gists{/gist_id}","starred_url":"https://api.github.com/users/gerhard-tinned/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gerhard-tinned/subscriptions","organizations_url":"https://api.github.com/users/gerhard-tinned/orgs","repos_url":"https://api.github.com/users/gerhard-tinned/repos","events_url":"https://api.github.com/users/gerhard-tinned/events{/privacy}","received_events_url":"https://api.github.com/users/gerhard-tinned/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-07-22T22:52:28Z","updated_at":"2015-08-15T10:51:16Z","closed_at":"2015-08-15T10:50:28Z","pull_request":{"url":"https://api.github.com/repos/remko/wigit/pulls/9","html_url":"https://github.com/remko/wigit/pull/9","diff_url":"https://github.com/remko/wigit/pull/9.diff","patch_url":"https://github.com/remko/wigit/pull/9.patch"},"body":"I have created a dark theme based on the default theme. The php files include the same layout php files as the default theme files and the css includes as well the default themes css and overrides the colours so it appears dark.\r\n\r\nThe related configuration has been added into the config file. The related mechanism to change the layout in the script was already there. :) Great work.\r\n\r\n---\r\n\r\nI have added the possibility to push and pull changes from remote repository. The pull and push links appear when a remote name is configured. \r\n\r\nI added additionally a workaround for git version below 1.7.7.2 (still used on CentOS) which has issues with the work-tree option in pull command. For details see http://stackoverflow.com/a/9747584/2587532\r\n"},"comment":{"url":"https://api.github.com/repos/remko/wigit/issues/comments/131338683","html_url":"https://github.com/remko/wigit/pull/9#issuecomment-131338683","issue_url":"https://api.github.com/repos/remko/wigit/issues/9","id":131338683,"user":{"login":"remko","id":12300,"avatar_url":"https://avatars.githubusercontent.com/u/12300?v=3","gravatar_id":"","url":"https://api.github.com/users/remko","html_url":"https://github.com/remko","followers_url":"https://api.github.com/users/remko/followers","following_url":"https://api.github.com/users/remko/following{/other_user}","gists_url":"https://api.github.com/users/remko/gists{/gist_id}","starred_url":"https://api.github.com/users/remko/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/remko/subscriptions","organizations_url":"https://api.github.com/users/remko/orgs","repos_url":"https://api.github.com/users/remko/repos","events_url":"https://api.github.com/users/remko/events{/privacy}","received_events_url":"https://api.github.com/users/remko/received_events","type":"User","site_admin":false},"created_at":"2015-08-15T10:51:16Z","updated_at":"2015-08-15T10:51:16Z","body":"I integrated the changes, thanks.\r\n\r\nI note that you're using 'awk' to parse the git version. I'm not a fan of this, I would prefer to do the parsing in PHP using a regex, because now we depend on yet another binary (and on shell redirection)."}}