tree d6f3fb7b066ce7164815d071331ca23e657e7af0
parent 147cfb19324b4a10d24b219cd8cc89756bba2241
author Luca Milanesio <luca.milanesio@gmail.com> 1544437938 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1544441268 +0000

GitHub: add issue template to inform users

Inform users that keeping on reporting problems on GitHub
is not helpful and, instead, redirect them to the Gerrit Issue Tracker.

Change-Id: If4ddefc33d6979eb9dc31e93507db187fe372e36