2018-07-26 13:55:41 -07:00
|
|
|
<!-- < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < ☺
|
2018-06-09 21:11:27 -07:00
|
|
|
v ✰ Thanks for creating a PR! ✰
|
2018-07-26 13:55:41 -07:00
|
|
|
v Before smashing the submit button please review the checkboxes.
|
2018-06-09 21:11:27 -07:00
|
|
|
v If a checkbox is n/a - please still include it but + a little note why
|
2018-07-26 13:55:41 -07:00
|
|
|
☺ > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > -->
|
2018-03-01 15:26:16 -08:00
|
|
|
|
2018-08-15 06:53:41 -07:00
|
|
|
- Targeted PR against correct branch:
|
2018-08-15 06:51:01 -07:00
|
|
|
- `release/vxx.yy.zz` for a merge into a release candidate
|
|
|
|
- `master` for a merge of a release
|
|
|
|
- `develop` in the usual case
|
|
|
|
|
2018-07-31 17:43:44 -07:00
|
|
|
- [ ] Linked to github-issue with discussion and accepted design OR link to spec that describes this work.
|
2018-07-23 10:33:47 -07:00
|
|
|
- [ ] Updated all relevant documentation (`docs/`)
|
|
|
|
- [ ] Updated all relevant code comments
|
|
|
|
- [ ] Wrote tests
|
2018-07-26 13:55:41 -07:00
|
|
|
- [ ] Added entries in `PENDING.md` that include links to the relevant issue or PR that most accurately describes the change.
|
2018-07-23 10:33:47 -07:00
|
|
|
- [ ] Updated `cmd/gaia` and `examples/`
|
2018-07-13 10:17:48 -07:00
|
|
|
___________________________________
|
|
|
|
For Admin Use:
|
2018-07-23 10:33:47 -07:00
|
|
|
- [ ] Added appropriate labels to PR (ex. wip, ready-for-review, docs)
|
2018-07-26 13:55:41 -07:00
|
|
|
- [ ] Reviewers Assigned
|
2018-07-23 10:33:47 -07:00
|
|
|
- [ ] Squashed all commits, uses message "Merge pull request #XYZ: [title]" ([coding standards](https://github.com/tendermint/coding/blob/master/README.md#merging-a-pr))
|