devhub icon indicating copy to clipboard operation
devhub copied to clipboard

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

Results 73 devhub issues
Sort by recently updated
recently updated
newest added

![image](https://user-images.githubusercontent.com/18485279/27953899-db2b598c-630d-11e7-98ee-aacafb286b2d.png)

In #397 TA's could be assigned to groups. An algorithm was introduced to automatically distribute the TA's over all the groups. I would like to request two improvements: 1. Add...

We have to reduce parallel load so it only makes sense to use asynchronous processing for these endpoints too.

enhancement
next

![image](https://user-images.githubusercontent.com/5948271/27508452-82e5e562-58e5-11e7-8555-22f83d2ebd05.png) For example I used the "Toggle View" to see the total number of reviewed submissions, but that is at the top. It would be nicer to have the buttons...

Show Cobertura coverage results in Devhub. We can do this in a way very similar to Operias. [1] http://repository.tudelft.nl/assets/uuid:841fa20a-b1a9-4eb6-afd1-070ea938ae4b/Combining_source_code_and_test_coverage_change_in_pull_requests_-_Sebastiaan_Oosterwaal_-_1509322.pdf [2] https://github.com/soosterwaal/operias However, this will only work out of the box...

enhancement
metrics
backlog

At first the "Fold" button is aligned correctly when viewing commits. However once this button is clicked it aligns incorrectly. ![devhub-fold-alignment](https://cloud.githubusercontent.com/assets/7579804/8231162/d581eb22-15c6-11e5-9973-51388a831f9c.png)

enhancement
freemarker
smallfix ❤
PRs plz!
backlog

A confirmation dialog would be useful when merging branches, as it is easy to accidentally do this.

enhancement
backlog

The actual hash of the commit is not shown on https://devhub.ewi.tudelft.nl/courses/ti1706/1617/groups/XX/commits/e36a49299b9796ed48f7d41129f0d7eae44024f3/diff nor on https://devhub.ewi.tudelft.nl/courses/ti1706/1617/groups/XX/. Would be nice to also show that, to quickly check out a specific commit and check...

smallfix ❤
PRs plz!
backlog