Skip to content

Commit 30d4e7b

Browse files
authored
Try to fix linting
1 parent 2a89e3c commit 30d4e7b

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

en/contributing/README.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
We are really happy that you are interested in contributing to JabRef. Please take your time to look around here. We especially invite you to look into our [community members page](https://discourse.jabref.org/t/community-members/1868?u=koppor) where members introduce themselves.
44

5-
## I would like to try out a feature introduced at pull request.
5+
## I would like to try out a feature introduced at pull request
66

77
In JabRef, there are dozens of bug fixes and new features introduced using GitHub's pull request mechansim.
88
You can browse all at <https://github.com/JabRef/jabref/pulls>.
@@ -58,8 +58,10 @@ On Windows, instead of `sh ./gg.cmd` use `.\gg.cmd`.
5858
Alternatives:
5959

6060
1. In case you don't want to use `gg.cmd`:
61+
6162
- You have the project clone ready and have some Java JDK available: In the `JabRef` directory, execute `./gradlew run`.
6263
- Install [GitHubCLI](https://cli.github.com/), a command-line client for GitHub by using the installer linked on their [homepage](https://cli.github.com/) or the commands given at the [installation hints](https://github.com/cli/cli#installation).
64+
6365
2. In case you don't want to use GitHub's `gh` tool: You can use the "usual" `git clone ...`, `git remote add ...`, `git fetch ...`, and `git checkout ...` commands to checkout a pull request from a fork.
6466

6567
**I would like to improve the help page.**

0 commit comments

Comments
 (0)