Issue enhancements - Githubissues

devhub-tud / devhub

DevHub is a software system designed to give students a simple practical introduction into modern software development.

15 stars 8 forks source link

Issue enhancements #407

Closed AZWN closed 7 years ago

AZWN commented 8 years ago

Fixed some small issue tracker issues.

Wrong title of overview page
Ability not to set an assignee
Consequently use pullrequest title in template

coveralls commented 8 years ago

Coverage decreased (-0.07%) to 56.158% when pulling a51567291d19e4305cf1bee442ef54fb7e3f38d1 on issue_enhancements into 6bb4f5b44ca2ed9a5e62aedb04a8db8574594c4b on master.

coveralls commented 8 years ago

Coverage decreased (-0.07%) to 56.158% when pulling 1e793268b27ed7f1a4a43f902283be2750ff3e74 on issue_enhancements into 6bb4f5b44ca2ed9a5e62aedb04a8db8574594c4b on master.

jwgmeligmeyling commented 7 years ago

Rebased on Master, waiting for CI to pass.

coveralls commented 7 years ago

Coverage increased (+0.09%) to 56.236% when pulling eb55f5d4987a9e8e239b9c510975b5f12c04f8b5 on issue_enhancements into 3cc74dcfbc547f5702e9867fc2b4acdcd8a4e492 on master.