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

docs(addition): add mantis tab & docs & fix links #4430

Merged
merged 6 commits into from
Jan 25, 2024
Merged

docs(addition): add mantis tab & docs & fix links #4430

merged 6 commits into from
Jan 25, 2024

Conversation

JafarAz
Copy link
Collaborator

@JafarAz JafarAz commented Jan 23, 2024

Required for merge:

  • pr-workflow-check / draft-release-check is ✅ success
  • Other rules GitHub shows you, or can be read in configuration

Makes review faster:

  • PR title is my best effort to provide summary of changes and has clear text to be part of release notes
  • I marked PR by misc label if it should not be in release notes
  • Linked Zenhub/Github/Slack/etc reference if one exists
  • I was clear on what type of deployment required to release my changes (node, runtime, contract, indexer, on chain operation, frontend, infrastructure) if any in PR title or description
  • Added reviewer into Reviewers
  • I tagged(@) or used other form of notification of one person who I think can handle best review of this PR
  • I have proved that PR has no general regressions of relevant features and processes required to release into production
  • Any dependency updates made, was done according guides from relevant dependency
  • Clicking all checkboxes
  • Adding detailed description of changes when it feels appropriate (for example when PR is big)

@JafarAz JafarAz added the Misc I marked PR by `misc` label if it should not be in release notes #owned:terraform label Jan 23, 2024
@JafarAz JafarAz changed the title docs(addition): add mantis tab + docs docs(addition): add mantis tab & docs & fix links Jan 23, 2024
blasrodri
blasrodri previously approved these changes Jan 24, 2024
dzmitry-lahoda
dzmitry-lahoda previously approved these changes Jan 25, 2024
dzmitry-lahoda
dzmitry-lahoda previously approved these changes Jan 25, 2024
@JafarAz JafarAz merged commit bd10af7 into main Jan 25, 2024
23 checks passed
@JafarAz JafarAz deleted the add-mantis branch January 25, 2024 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Misc I marked PR by `misc` label if it should not be in release notes #owned:terraform
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants