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

Improvements to commenting #1108

Merged
merged 5 commits into from
Aug 23, 2024
Merged

Improvements to commenting #1108

merged 5 commits into from
Aug 23, 2024

Conversation

acoffman
Copy link
Member

  • Comments support Markdown again (specifically GitHub's extensions)
  • Users may delete their own comments.
    • (This includes event tracking and soft deletion, Admins can still retrieve the text).
  • The comment text area will expand to the size of your comment so you don't have to scroll
  • Various minor bugfixes

closes #996

@acoffman acoffman added the new-feature PR Label for newly added features. Will appear in release notes. label Aug 23, 2024
@acoffman acoffman mentioned this pull request Aug 23, 2024
Closed
5 tasks
@acoffman acoffman merged commit f3d1d2e into main Aug 23, 2024
4 checks passed
@acoffman acoffman deleted the comment-fixes branch August 23, 2024 20:39
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
new-feature PR Label for newly added features. Will appear in release notes.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Improve comments functionality
1 participant
@acoffman