Tobias Wilken
Tobias Wilken
The current logic only merges Pull Requests after a certain amount of time. I think the same logic could be applied for closing Pull Requests. So if the majority of...
The repository should be moved out of my private GitHub account to the World Driven organization account. My main blocker: What should be the name? :-) TooAngel/worlddriven --> worlddriven/worlddriven (nah)...
Some pull requests weren't merged because of following error. In the GitHub webinterface the status checks were set and green, I will disable the required status check for now. ```...
When opening a Draft Pull Request the world driven message is commented with a time to merge. This message should only happen on non Draft Pull Request creation, or changing...
To be able to maintain the World Driven auto-merge certain 'admin' functionality needs to be properly exposed. I started already with `/admin/logs` which shows the logs from heroku. ## My...
I think the project slowly reaches a point where it can be shown to a bigger audience. (I'm really not good at that) I used the #hacktoberfest a bit to...
The `/dashboard` and the pull request view should have a small header with e.g. - A small version of the logo as link to the first page - The current...
Right now only github is integated as VCS. I think it would be good to integrate gitlab, too. For user authentication and automatic merge OAuth is used. For commenting on...
The frontend loads pretty slow, especially because a lot of data needs to be fetched from the github api. Instead of fetching and calculating the data on each request, the...
When a PR request is merged from a new contributor, the comment of the Pull Request should contain more information about the `consequences`. Due to the world driven system contributions...