Merging new terms into the glossary repository

When there's a pull request waiting in the glossary repository (instructions are here), what do you do as an editor?