This is GHC's GitLab instance. GitLab has replaced Trac and Phabricator as the center of GHC's development community.
You may wish to see the table of contents to get a sense for what is available in this Wiki.
If you do not have a Trac account (or would prefer to start from scratch with a new account) you can log in using your GitHub account or create a new GitLab account.
As a last resort, please contact @bgamari with your email address.
Submitting a patch for incorporation into the tree is done by creating a merge request. The merge request serves as a place to conduct code review, collect continuous integration results, and eventually merge your patch.
Push your branch. You may push either to your fork or the primary ghc/ghc project.
Starting from the GHC GitLab project click on the Merge Requests link in the left navigational bar.
In the left drop-down of the Source branch pane select the project to which you pushed your branch.
In the right drop-down of the Source branch pane select the name of your branch.
Click on the green Compare branches and continue button.
Write a description of your change. This should be ideally at very least a few sentences to help reviewers understand what you have done.
Click on the green Submit merge request button.
Top-most is the request's title and description. These can be edited by pressing the yellow Edit button on the top-right corner of the page.
The next pane summarises your merge request, showing the the source and target branches.
The next pane shows the status of the merge request's continuous integration builds. If the build has failed you can click on the red X icon to see the build log.
The Discussion tab shows a summary of the comments left on the change. This includes comments left in-line in the code, as well as those independent of the code.
The Commits tab lists the commits being proposed for merge. These may be clicked upon to restrict the diff to only changes made by that commit.
The Pipelines tab provides a more detailed overview on the state of the various continuous integration jobs associated with the merge request.
Finally, the Changes tab shows the patch itself. This view may be restricted to changes made by a single commit by selecting the commit in the Commits tab. Moreover, one may view previous iterations of the merge request using the two drop-down menus at the top of the tab. To leave an inline comment click on a line in the patch.
Currently we merge MRs with the aid of @marge-bot. Marge is a robot who will look after your patch, ensuring it remains up-to-date with master while being a candidate for merge.
Most of the tickets here were carried over from GHC's previous Trac installation. See the wiki for details about this migration.