[readme] Added FAQ: how long until PR merged?

This is by far the question which gets asked the most on the DT gitter, so I thought it would be a good idea to add it to the FAQ. I don't really have any authority to answer the question, so the answer is mostly a placeholder at this point; it would be better to have an official answer. @andy-ms would you rather not be tagged after a week?
This commit is contained in:
Adrian Leonhard
2017-08-29 17:28:14 +02:00
committed by GitHub
parent 4db6da0d9e
commit dbad87cebe

View File

@@ -201,6 +201,9 @@ This script uses [dtslint](https://github.com/Microsoft/dtslint).
The `master` branch is automatically published to the `@types` scope on NPM thanks to [types-publisher](https://github.com/Microsoft/types-publisher).
This usually happens within an hour of changes being merged.
#### I've submitted a pull request. How long until it is merged?
Usually a couple of days. PRs approved by a previous author are tagged `Merge: Express` and handled first. If nothing has happened in a week, @mention @andy-ms.
#### I'm writing a definition that depends on another definition. Should I use `<reference types="" />` or an import?
If the module you're referencing is an external module (uses `export`), use an import.