mirrors/dolphin
0
0
Fork 0
mirror of https://github.com/dolphin-emu/dolphin.git synced 2025-08-22 18:30:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

point to new bugtracker

shuffle2 2015-09-03 22:31:32 -07:00
commit e79197171a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
About-Dolphin's-CI-bot.md

@ -5,7 +5,7 @@
* Automatically builds incoming pull requests authored by trusted developers, and rebuilds on PR updates.
* Updates PR status based on the CI builds/tests results.
* Show updates about GitHub activity on Dolphin's IRC channel.
* Shows updates about outstanding [Issues](https://code.google.com/p/dolphin-emu/issues) on Dolphin's IRC channel.
* Shows updates about outstanding [Issues](https://bugs.dolphin-emu.org/projects/emulator) on Dolphin's IRC channel.
* Provides a way for Dolphin maintainers to allow a PR author to merge their PR by themselves.
## Reverse PR approval workflow