mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-11-23 06:02:52 +03:00
Add a GitHub pull request template
This commit is contained in:
parent
52b9ba1d96
commit
a377a5048d
44
.github/PULL_REQUEST_TEMPLATE
vendored
Normal file
44
.github/PULL_REQUEST_TEMPLATE
vendored
Normal file
@ -0,0 +1,44 @@
|
||||
## Summary
|
||||
|
||||
What does this pull request do?
|
||||
|
||||
**To do:**
|
||||
|
||||
If this pull request is a work-in-progress, add a checklist here of
|
||||
the remaining tasks so it's clear what still needs to be done.
|
||||
|
||||
**Related issues:**
|
||||
|
||||
If this pull request is related to any other issues, list them here.
|
||||
|
||||
|
||||
## Checklist
|
||||
|
||||
- [ ] Travis builds the PR successfully
|
||||
|
||||
**If this is fixing a bug:**
|
||||
|
||||
- [ ] You have added a regression test to dejafu-tests
|
||||
|
||||
**If this is adding a feature:**
|
||||
|
||||
- [ ] You have added new tests to dejafu-tests
|
||||
|
||||
|
||||
## Benchmark results (for performance issues)
|
||||
|
||||
**Before:**
|
||||
|
||||
```
|
||||
$ stack exec -- dejafu-tests +RTS -s
|
||||
|
||||
...put your results here...
|
||||
```
|
||||
|
||||
**After:**
|
||||
|
||||
```
|
||||
$ stack exec -- dejafu-tests +RTS -s
|
||||
|
||||
...put your results here...
|
||||
```
|
Loading…
Reference in New Issue
Block a user