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

[#12671] Remove redundant newline in Development section of Docs #12672

Merged
merged 1 commit into from
Dec 20, 2023
Merged

[#12671] Remove redundant newline in Development section of Docs #12672

merged 1 commit into from
Dec 20, 2023

Conversation

pushkarkohli1
Copy link
Contributor

Remove redundant newline in Development section of Docs #12671
Fixes #12671

Outline of Solution
Updated docs/development.md to remove redundant newline.

@pushkarkohli1
Update development.md
74a87db 
Remove redundant newline in Development section of Docs TEAMMATES#12671
weiquu
weiquu approved these changes Dec 20, 2023
View reviewed changes
Copy link
Contributor

@weiquu weiquu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@weiquu weiquu requested a review from domlimm December 20, 2023 12:35
@weiquu weiquu added the s.FinalReview The PR is ready for final review label Dec 20, 2023
domlimm
domlimm approved these changes Dec 20, 2023
View reviewed changes
Copy link
Contributor

@domlimm domlimm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you for your contribution!

@domlimm domlimm merged commit c7ba60b into TEAMMATES:master Dec 20, 2023
10 checks passed
@wkurniawan07 wkurniawan07 added s.ToMerge The PR is approved by all reviewers including final reviewer; ready for merging c.Task Other non-user-facing works, e.g. refactoring, adding tests and removed s.FinalReview The PR is ready for final review labels Jan 21, 2024
@wkurniawan07 wkurniawan07 modified the milestones: V8.29.0, V8.30.0 Jan 21, 2024
cedricongjh pushed a commit to cedricongjh/teammates that referenced this pull request Feb 20, 2024
@pushkarkohli1 @cedricongjh
Update development.md (TEAMMATES#12672)
53debb2 
Remove redundant newline in Development section of Docs TEAMMATES#12671
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@weiquu weiquu weiquu approved these changes

@domlimm domlimm domlimm approved these changes

Assignees
No one assigned
Labels
c.Task Other non-user-facing works, e.g. refactoring, adding tests s.ToMerge The PR is approved by all reviewers including final reviewer; ready for merging
Projects
None yet
Milestone
V8.30.0
Development

Successfully merging this pull request may close these issues.

Remove redundant newline in Development section of Docs
4 participants
@pushkarkohli1 @domlimm @weiquu @wkurniawan07