Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Show pull request reviser on merged and rejected pull requests #132

Merged
merged 6 commits into from
Apr 21, 2021
Merged

Show pull request reviser on merged and rejected pull requests #132

merged 6 commits into from
Apr 21, 2021

Conversation

eheimbuch
Copy link
Contributor

@eheimbuch eheimbuch commented Apr 19, 2021 •
edited
Loading

Proposed changes

Show pull request reviser on merged and rejected pull requests.

Your checklist for this pull request

  • PR is well described and the description can be used as commit message on squash
  • Related issues linked to PR if existing and labels set
  • Target branch is not master (in most cases develop should bet the target of choice)
  • Code does not conflict with target branch
  • New code is covered with unit tests
  • Changelog entry file created in gradle/changelog
  • Definition of Done's fulfilled: DoD // UI DoD
  • Documentation updated (only necessary for new features or changed behaviour)

Checklist for branch merge request (not required for forks)

@eheimbuch eheimbuch added the enhancement New feature or request label Apr 19, 2021
@pfeuffer pfeuffer merged commit cda4b5f into develop Apr 21, 2021
@pfeuffer pfeuffer deleted the feature/pr_merger branch April 21, 2021 07:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@eheimbuch @pfeuffer