Indent before commit
Feedbacks and bugs are now posted as issues on GitHub
Add some properties to set the GitHub repository which collect the issues
Merge pull request #126 from Cedric-Huguenin/PIDR2014_GitHubIssue

Feedbacks and bugs are now posted as issues on GitHub