| ... | ... | @@ -11,7 +11,7 @@ Here are the steps to modify it: |
|
|
|
|
|
|
|
1. **Create a [ Pull Request](https://github.com/ghc/ghc/pulls?utf8=%E2%9C%93&q=is%3Apr)** on [ GitHub](https://github.com/ghc/ghc/).
|
|
|
|
1. **Wait** for the reviewers to look at your patches. If this takes more than a week, complain!
|
|
|
|
1. **Wait** for bgamari to publish the documentation. (As of Nov 2017, he runs the publish script manually.) If this takes more than a month, complain on the `#ghc` channel on [ FreeNode](http://freenode.net/) !
|
|
|
|
1. **Wait** for bgamari to publish the documentation. (As of Nov 2017, he runs the publish script manually, about once a month.) If this takes more than a month, complain on the `#ghc` channel on [ FreeNode](http://freenode.net/) !
|
|
|
|
|
|
|
|
|
|
|
|
Then have a beer on us. We are truly grateful. |
