Skip to content

Update guidelines-for-setting-up-a-local-workspace.md#7617

Merged
tobiasdiez merged 2 commits into
mainfrom
stefan-kolb-patch-1
Apr 11, 2021
Merged

Update guidelines-for-setting-up-a-local-workspace.md#7617
tobiasdiez merged 2 commits into
mainfrom
stefan-kolb-patch-1

Conversation

@stefan-kolb

Copy link
Copy Markdown
Member

Small changes when trying the dev setup.

  • Change in CHANGELOG.md described in a way that is understandable for the average user (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked documentation: Is the information available and up to date? If not created an issue at https://github.com/JabRef/user-documentation/issues or, even better, submitted a pull request to the documentation repository.

@Siedlerchr

Copy link
Copy Markdown
Member

please adjust the checkstyle to allow kbd/inline html

@tobiasdiez tobiasdiez merged commit 2e3c1a1 into main Apr 11, 2021
@tobiasdiez tobiasdiez deleted the stefan-kolb-patch-1 branch April 11, 2021 21:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants