Skip to content

Commit a1f9901

Browse files
committed
Merge branch 'master' of github.com:notesjor/corpusexplorer2.0
2 parents 2028192 + 81158db commit a1f9901

File tree

2 files changed

+98
-0
lines changed

2 files changed

+98
-0
lines changed

CONTRIBUTING.md

Lines changed: 82 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,82 @@
1+
# Welcome to GitHub docs contributing guide <!-- omit in toc -->
2+
3+
Thank you for investing your time in contributing to our project! Any contribution you make will be reflected on [notesjor.de](https://notesjor.de) :sparkles:.
4+
5+
Read our [Code of Conduct](./CODE_OF_CONDUCT.md) to keep our community approachable and respectable.
6+
7+
In this guide you will get an overview of the contribution workflow from opening an issue, creating a PR, reviewing, and merging the PR.
8+
9+
Use the table of contents icon on the top left corner of this document to get to a specific section of this guide quickly.
10+
11+
## New contributor guide
12+
13+
To get an overview of the project, read the [README](README.md). Here are some resources to help you get started with open source contributions:
14+
15+
- [Finding ways to contribute to open source on GitHub](https://docs.github.com/en/get-started/exploring-projects-on-github/finding-ways-to-contribute-to-open-source-on-github)
16+
- [Set up Git](https://docs.github.com/en/get-started/quickstart/set-up-git)
17+
- [GitHub flow](https://docs.github.com/en/get-started/quickstart/github-flow)
18+
- [Collaborating with pull requests](https://docs.github.com/en/github/collaborating-with-pull-requests)
19+
20+
21+
## Getting started
22+
23+
To navigate our codebase with confidence, see [the introduction to working in the docs repository](/contributing/working-in-docs-repository.md) :confetti_ball:. For more information on how we write our markdown files, see [the GitHub Markdown reference](contributing/content-markup-reference.md).
24+
25+
Check to see what [types of contributions](/contributing/types-of-contributions.md) we accept before making changes. Some of them don't even require writing a single line of code :sparkles:.
26+
27+
### Issues
28+
29+
#### Create a new issue
30+
31+
If you spot a problem with the docs, [search if an issue already exists](https://docs.github.com/en/github/searching-for-information-on-github/searching-on-github/searching-issues-and-pull-requests#search-by-the-title-body-or-comments). If a related issue doesn't exist, you can open a new issue using a relevant [issue form](https://github.com/github/docs/issues/new/choose).
32+
33+
#### Solve an issue
34+
35+
Scan through our [existing issues](https://github.com/github/docs/issues) to find one that interests you. You can narrow down the search using `labels` as filters. See [Labels](/contributing/how-to-use-labels.md) for more information. As a general rule, we don’t assign issues to anyone. If you find an issue to work on, you are welcome to open a PR with a fix.
36+
37+
### Make Changes
38+
39+
#### Make changes in the UI
40+
41+
Click **Make a contribution** at the bottom of any docs page to make small changes such as a typo, sentence fix, or a broken link. This takes you to the `.md` file where you can make your changes and [create a pull request](#pull-request) for a review.
42+
43+
#### Make changes in a codespace
44+
45+
For more information about using a codespace for working on GitHub documentation, see "[Working in a codespace](https://github.com/github/docs/blob/main/contributing/codespace.md)."
46+
47+
#### Make changes locally
48+
49+
1. Fork the repository.
50+
- Using GitHub Desktop:
51+
- [Getting started with GitHub Desktop](https://docs.github.com/en/desktop/installing-and-configuring-github-desktop/getting-started-with-github-desktop) will guide you through setting up Desktop.
52+
- Once Desktop is set up, you can use it to [fork the repo](https://docs.github.com/en/desktop/contributing-and-collaborating-using-github-desktop/cloning-and-forking-repositories-from-github-desktop)!
53+
54+
- Using the command line:
55+
- [Fork the repo](https://docs.github.com/en/github/getting-started-with-github/fork-a-repo#fork-an-example-repository) so that you can make your changes without affecting the original project until you're ready to merge them.
56+
57+
2. Install or update to **Visual Studio 2022**. For more information, see [the development guide](contributing/development.md).
58+
59+
3. Create a working branch and start with your changes!
60+
61+
### Commit your update
62+
63+
Commit the changes once you are happy with them. Don't forget to [self-review](/contributing/self-review.md) to speed up the review process:zap:.
64+
65+
### Pull Request
66+
67+
When you're finished with the changes, create a pull request, also known as a PR.
68+
- Fill the "Ready for review" template so that we can review your PR. This template helps reviewers understand your changes as well as the purpose of your pull request.
69+
- Don't forget to [link PR to issue](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) if you are solving one.
70+
- Enable the checkbox to [allow maintainer edits](https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/allowing-changes-to-a-pull-request-branch-created-from-a-fork) so the branch can be updated for a merge.
71+
Once you submit your PR, a Docs team member will review your proposal. We may ask questions or request additional information.
72+
- We may ask for changes to be made before a PR can be merged, either using [suggested changes](https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/incorporating-feedback-in-your-pull-request) or pull request comments. You can apply suggested changes directly through the UI. You can make any other changes in your fork, then commit them to your branch.
73+
- As you update your PR and apply changes, mark each conversation as [resolved](https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/commenting-on-a-pull-request#resolving-conversations).
74+
- If you run into any merge issues, checkout this [git tutorial](https://github.com/skills/resolve-merge-conflicts) to help you resolve merge conflicts and other issues.
75+
76+
### Your PR is merged!
77+
78+
Congratulations :tada::tada: The GitHub team thanks you :sparkles:.
79+
80+
Once your PR is merged, your contributions will be publicly visible on the [GitHub docs](https://docs.github.com/en).
81+
82+
Now that you are part of the GitHub docs community, see how else you can [contribute to the docs](/contributing/types-of-contributions.md).

SECURITY.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
# Security Policy
2+
3+
## Supported Versions
4+
5+
The following versions of CorpusExplorer are updated approximately once per quarter:
6+
7+
| Version | Supported |
8+
| ------- | ------------------ |
9+
| 2.0.x | :white_check_mark: |
10+
| 1.0.x | :x: |
11+
12+
## Reporting a Vulnerability
13+
14+
If you find a bug or security vulnerability, please send the information directly to me.
15+
My contact details - as well as information about secure transmission can be found here:
16+
https://notes.jan-oliver-ruediger.de/kontakt/

0 commit comments

Comments
 (0)