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

Remove redundant newline in Development section of Docs #12671

Closed
domlimm opened this issue Dec 19, 2023 · 2 comments · Fixed by #12672
Closed

Remove redundant newline in Development section of Docs #12671

domlimm opened this issue Dec 19, 2023 · 2 comments · Fixed by #12672
Labels
a-Docs User or developer docs good first issue Easy; restricted for first-time contributors p.VeryLow Just cosmetic value only. Do only if we have spare resources.

Comments

@domlimm
Copy link
Contributor

domlimm commented Dec 19, 2023

Steps to reproduce

Production/Live

  1. Visit https://teammates.github.io/teammates/development.html#pre-requisites.

Locally

  1. Change directory into the docs folder in project root i.e., cd docs.
  2. Run npm run serve.
  3. Visit http://127.0.0.1:8080/teammates/development.html#managing-the-dev-server-back-end.

Expected behaviour

Line 2 should be removed. Not sure why the line numbers are not showing locally, please disregard that.

image

Actual behaviour

image

@domlimm domlimm added good first issue Easy; restricted for first-time contributors a-Docs User or developer docs p.VeryLow Just cosmetic value only. Do only if we have spare resources. labels Dec 19, 2023
Copy link

Good First Issue - Notes for Contributors
This issue is for first-time contributors only. If you are new to TEAMMATES, feel free to submit a PR for this issue.

Please note that we allow only one good first issue per contributor. If you have already made a prior contribution to TEAMMATES, you may wish to take a look at issues with the help wanted tag instead.

We do not assign issues to contributors. If you would like to pick up this issue, do post a comment below to express your interest and check if there is anyone else who is already working on the issue. We will do our best to reply and give you the go-ahead, but if we don't, feel free to submit a PR as long as there is no one else working on it.

To get started, do read through our contributing guidelines carefully, and set up a development environment on your local machine before making a PR.

If you need any clarifications on our developer guide, or are facing issues that are not found in our troubleshooting guide, please post a message in our discussion forum.

@pushkarkohli1
Copy link
Contributor

planning to work on #12671

pushkarkohli1 added a commit to pushkarkohli1/teammates that referenced this issue Dec 20, 2023
Remove redundant newline in Development section of Docs TEAMMATES#12671
domlimm pushed a commit that referenced this issue Dec 20, 2023
Remove redundant newline in Development section of Docs #12671
cedricongjh pushed a commit to cedricongjh/teammates that referenced this issue Feb 20, 2024
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
Labels
a-Docs User or developer docs good first issue Easy; restricted for first-time contributors p.VeryLow Just cosmetic value only. Do only if we have spare resources.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants