Integrated: Create pull request template

Wed Apr 10 17:55:13 UTC 2024

On Wed, 10 Apr 2024 17:09:37 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Create a pull request template. The text of the template will appear as the pull request description when creating a new pull request, and contains basic instructions on how to fill out the PR description, and how to test.

This pull request has now been integrated.

Changeset: d0429a56
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/d0429a56d98486aeafc11bfaf160b06635db009c
Stats:     18 lines in 1 file changed: 18 ins; 0 del; 0 mod

Create pull request template

Reviewed-by: mcimadamore

-------------

PR: https://git.openjdk.org/jextract/pull/233