Skip to content

Update repository after GitHub issues migration #257

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

Closed
mp911de opened this issue Dec 31, 2020 · 1 comment
Closed

Update repository after GitHub issues migration #257

mp911de opened this issue Dec 31, 2020 · 1 comment
Assignees
Labels
type: task A general task

Comments

@mp911de
Copy link
Member

mp911de commented Dec 31, 2020

  • Readme
  • Reference docs
  • GitHub actions
@mp911de mp911de added the type: task A general task label Dec 31, 2020
@mp911de mp911de added this to the 1.1.13 (Moore SR13) milestone Dec 31, 2020
@schauder schauder assigned mp911de and schauder and unassigned mp911de Jan 4, 2021
schauder added a commit that referenced this issue Jan 5, 2021
All references to the Spring Jira instance are replaced by GitHub references.
schauder added a commit that referenced this issue Jan 5, 2021
All references to the Spring Jira instance are replaced by GitHub references.
schauder added a commit that referenced this issue Jan 5, 2021
All references to the Spring Jira instance are replaced by GitHub references.
@schauder
Copy link
Contributor

schauder commented Jan 5, 2021

Done.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: task A general task
Projects
None yet
Development

No branches or pull requests

2 participants