Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Writing programs on an Android device without prior knowledge.
Deprecated and lots of quick-fixes to keep site alive (tested polymer and web components). Will move to new server.
Create data for Catrobat statistics
Highlight important tasks
## Commit Message Guidelines
Short (72 chars or less) summary
More detailed explanatory text. Wrap it to 72 characters. The blank
### How to reopen a pull-request after a force-push?
* You need the rights to reopen pull requests on the repository.
* The pull request hasn't been merged, just closed.
Seeing something unexpected? Take a look at the
GitHub profile guide.