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.

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

Add extension point to modify title #129

Merged
merged 1 commit into from
Apr 7, 2021
Merged

Conversation

sdorra
Copy link
Member

@sdorra sdorra commented Apr 6, 2021

Proposed changes

Adds an extension point to replace parts of the title. This is mostly for linking issues in the pull request title.

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)

@sdorra sdorra added the enhancement New feature or request label Apr 6, 2021
@sdorra sdorra force-pushed the feature/ep_replace_title branch from 4ac24e1 to c1f9fc4 Compare April 6, 2021 14:00
@Pilopa Pilopa merged commit 8f7f19b into develop Apr 7, 2021
@Pilopa Pilopa deleted the feature/ep_replace_title branch April 7, 2021 12:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants