CoRReCT Chrome Plug-in: User Manual
|
Installation of Plug-in
|
| 1. First, unzip the plug-in zip. If you don't have it, you can download it from here |
|
2. Go to Options menu ( ) of your Google chrome browser at the top-right corner and choose Settings |
|
| 3. Under Settings menu, choose the Extensions menu. |
|
| 4. Under Extensions, make sure that the Developer mode is checked. Then click Load Unpacked Extensions button. |
|
| 5. Then enter the unzipped directory of the plug-in by copy-pasting. Or, you can simply browse to the unzipped directory. |
|
| 6. Now as you can see, the plug-in installation is completed. |
|
7. You can also see a User icon (  ) at the top-right corner of your Google Chome browser. |
|
Use of Plug-in: Collecting Code Reviewer Suggestions
|
| 8. You can use the plug-in for collecting code reviewer suggestions during a pull request submission. Lets choose a branch for the pull request creation in GitHub repository. |
|
| 9. Now lets see the diffs between the two branches. If there are something to merge, after all? |
|
| 10. Yes, a pull request can be made, and there is no conflict apparently. |
|
| 11. Now go for a pull request by clicking Crate pull request button. |
|
| 12. Now ask for code reviewer suggestions by clicking User icon ( ) button at the top-right corner of your browser. |
|
| 13. The plug-in will take a few minutes for processing the request. Please sit tight, and do not click anywhere else in the browser. |
|
| 14. Then a ranked list of code reviewers will appear for the pull request to be made. |
|
| 15. Now, you can click Copy Reviewers button to copy the reviewers all at once. Or you can use standard copy-pasting commands. |
|
| 16. Then add the reviewers to the body of the pull request. You can refine the list or add the reviewers of your choice. |
|
16. Then submit the pull request for code review and merging. |
|
|
Please contact Masud Rahman for more information regarding this tool.
|