Skip to content

Commit d5e65b5

Browse files
VirtlinkVirtlink
committed
Update repo metadata
1 parent 25d3b41 commit d5e65b5

File tree

14 files changed

+1102
-219
lines changed

14 files changed

+1102
-219
lines changed

‎.github/workflows/build.yaml

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
---
2+
# !! THIS FILE WAS GENERATED USING repoman !!
3+
# Modify `repo.yaml` instead and use `repoman` to update this file
4+
# See: https://github.com/metaborg/metaborg-gradle/
5+
6+
name: 'Build & Publish'
7+
8+
on: # yamllint disable-line rule:truthy
9+
push:
10+
pull_request:
11+
branches:
12+
- master
13+
14+
jobs:
15+
build:
16+
uses: metaborg/actions/.github/workflows/gradle-build-matrix.yaml@main
17+
with:
18+
gradle-command: |
19+
gradle build
20+
# Publish snapshots
21+
publish-snapshot:
22+
uses: metaborg/actions/.github/workflows/gradle-publish.yaml@main
23+
with:
24+
gradle-command: |
25+
gradle publish -Pgitonium.isSnapshot=true
26+
gradle-version-command: |
27+
gradle -q :printVersion -Pgitonium.isSnapshot=true
28+
if: "github.event_name == 'push' && github.ref == 'refs/heads/master'"
29+
needs: [build]
30+
secrets:
31+
METABORG_ARTIFACTS_USERNAME: ${{ secrets.METABORG_ARTIFACTS_USERNAME }}
32+
METABORG_ARTIFACTS_PASSWORD: ${{ secrets.METABORG_ARTIFACTS_PASSWORD }}
33+
# Publish releases
34+
publish-release:
35+
uses: metaborg/actions/.github/workflows/gradle-publish.yaml@main
36+
with:
37+
gradle-command: |
38+
gradle publish
39+
gradle-version-command: |
40+
gradle -q :printVersion
41+
if: "github.event_name == 'push' && startsWith(github.ref, 'refs/tags/release-')"
42+
needs: [build]
43+
secrets:
44+
METABORG_ARTIFACTS_USERNAME: ${{ secrets.METABORG_ARTIFACTS_USERNAME }}
45+
METABORG_ARTIFACTS_PASSWORD: ${{ secrets.METABORG_ARTIFACTS_PASSWORD }}

‎.gitignore

Lines changed: 67 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,80 @@
1-
# macOS
2-
*.DS_Store
1+
# !! THIS FILE WAS GENERATED USING repoman !!
2+
# Modify `repo.yaml` instead and use `repoman` to update this file
3+
# See: https://github.com/metaborg/metaborg-gradle/
34

45
# Java
56
*.class
7+
*.log
68
*.jar
7-
hs_err_pid*
9+
*.war
10+
*.nar
11+
*.ear
12+
813

914
# Gradle
10-
**/.gradle
11-
**/build/
15+
.gradle
16+
build/
17+
!gradle/wrapper/gradle-wrapper.jar
18+
!**/src/main/**/build/
19+
!**/src/test/**/build/
20+
1221

1322
# IntelliJ
14-
**/.idea
23+
.idea/*
24+
!.idea/icon.svg
25+
!.idea/icon_dark.svg
26+
*.iws
27+
out/
1528
*.iml
16-
**/out
29+
*.ipr
30+
!**/src/main/**/out/
31+
!**/src/test/**/out/
32+
1733

1834
# Eclipse
19-
**/.project
20-
**/.settings
21-
**/.classpath
22-
**/.factorypath
23-
**/bin
35+
.metadata
36+
.classpath
37+
.project
38+
.apt_generated
39+
.settings
40+
.springBeans
41+
.sts4-cache
42+
bin/
43+
tmp/
44+
*.tmp
45+
*.bak
46+
*.swp
47+
*~.nib
48+
local.properties
49+
.settings/
50+
.loadpath
51+
.recommenders
52+
.factorypath
53+
.recommenders/
54+
.apt_generated/
55+
.apt_generated_test/
56+
!**/src/main/**/bin/
57+
!**/src/test/**/bin/
58+
59+
60+
# NetBeans
61+
/nbproject/private/
62+
/nbbuild/
63+
/dist/
64+
/nbdist/
65+
/.nb-gradle/
66+
67+
68+
# VS Code
69+
.vscode/
70+
71+
# Misc
72+
.cache
73+
.DS_Store
74+
*.lock
75+
jte-classes/
2476

2577
# Spoofax
26-
**/src-gen
27-
**/target
78+
src-gen/
79+
target/
80+

‎CODE_OF_CONDUCT.md

Lines changed: 133 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,133 @@
1+
# Contributor Covenant Code of Conduct
2+
3+
## Our Pledge
4+
5+
We as members, contributors, and leaders pledge to make participation in our
6+
community a harassment-free experience for everyone, regardless of age, body
7+
size, visible or invisible disability, ethnicity, sex characteristics, gender
8+
identity and expression, level of experience, education, socio-economic status,
9+
nationality, personal appearance, race, caste, color, religion, or sexual
10+
identity and orientation.
11+
12+
We pledge to act and interact in ways that contribute to an open, welcoming,
13+
diverse, inclusive, and healthy community.
14+
15+
## Our Standards
16+
17+
Examples of behavior that contributes to a positive environment for our
18+
community include:
19+
20+
* Demonstrating empathy and kindness toward other people
21+
* Being respectful of differing opinions, viewpoints, and experiences
22+
* Giving and gracefully accepting constructive feedback
23+
* Accepting responsibility and apologizing to those affected by our mistakes,
24+
and learning from the experience
25+
* Focusing on what is best not just for us as individuals, but for the overall
26+
community
27+
28+
Examples of unacceptable behavior include:
29+
30+
* The use of sexualized language or imagery, and sexual attention or advances of
31+
any kind
32+
* Trolling, insulting or derogatory comments, and personal or political attacks
33+
* Public or private harassment
34+
* Publishing others' private information, such as a physical or email address,
35+
without their explicit permission
36+
* Other conduct which could reasonably be considered inappropriate in a
37+
professional setting
38+
39+
## Enforcement Responsibilities
40+
41+
Community leaders are responsible for clarifying and enforcing our standards of
42+
acceptable behavior and will take appropriate and fair corrective action in
43+
response to any behavior that they deem inappropriate, threatening, offensive,
44+
or harmful.
45+
46+
Community leaders have the right and responsibility to remove, edit, or reject
47+
comments, commits, code, wiki edits, issues, and other contributions that are
48+
not aligned to this Code of Conduct, and will communicate reasons for moderation
49+
decisions when appropriate.
50+
51+
## Scope
52+
53+
This Code of Conduct applies within all community spaces, and also applies when
54+
an individual is officially representing the community in public spaces.
55+
Examples of representing our community include using an official email address,
56+
posting via an official social media account, or acting as an appointed
57+
representative at an online or offline event.
58+
59+
## Enforcement
60+
61+
Instances of abusive, harassing, or otherwise unacceptable behavior may be
62+
reported to the community leaders responsible for enforcement at
63+
[INSERT CONTACT METHOD].
64+
All complaints will be reviewed and investigated promptly and fairly.
65+
66+
All community leaders are obligated to respect the privacy and security of the
67+
reporter of any incident.
68+
69+
## Enforcement Guidelines
70+
71+
Community leaders will follow these Community Impact Guidelines in determining
72+
the consequences for any action they deem in violation of this Code of Conduct:
73+
74+
### 1. Correction
75+
76+
**Community Impact**: Use of inappropriate language or other behavior deemed
77+
unprofessional or unwelcome in the community.
78+
79+
**Consequence**: A private, written warning from community leaders, providing
80+
clarity around the nature of the violation and an explanation of why the
81+
behavior was inappropriate. A public apology may be requested.
82+
83+
### 2. Warning
84+
85+
**Community Impact**: A violation through a single incident or series of
86+
actions.
87+
88+
**Consequence**: A warning with consequences for continued behavior. No
89+
interaction with the people involved, including unsolicited interaction with
90+
those enforcing the Code of Conduct, for a specified period of time. This
91+
includes avoiding interactions in community spaces as well as external channels
92+
like social media. Violating these terms may lead to a temporary or permanent
93+
ban.
94+
95+
### 3. Temporary Ban
96+
97+
**Community Impact**: A serious violation of community standards, including
98+
sustained inappropriate behavior.
99+
100+
**Consequence**: A temporary ban from any sort of interaction or public
101+
communication with the community for a specified period of time. No public or
102+
private interaction with the people involved, including unsolicited interaction
103+
with those enforcing the Code of Conduct, is allowed during this period.
104+
Violating these terms may lead to a permanent ban.
105+
106+
### 4. Permanent Ban
107+
108+
**Community Impact**: Demonstrating a pattern of violation of community
109+
standards, including sustained inappropriate behavior, harassment of an
110+
individual, or aggression toward or disparagement of classes of individuals.
111+
112+
**Consequence**: A permanent ban from any sort of public interaction within the
113+
community.
114+
115+
## Attribution
116+
117+
This Code of Conduct is adapted from the [Contributor Covenant][homepage],
118+
version 2.1, available at
119+
[https://www.contributor-covenant.org/version/2/1/code_of_conduct.html][v2.1].
120+
121+
Community Impact Guidelines were inspired by
122+
[Mozilla's code of conduct enforcement ladder][Mozilla CoC].
123+
124+
For answers to common questions about this code of conduct, see the FAQ at
125+
[https://www.contributor-covenant.org/faq][FAQ]. Translations are available at
126+
[https://www.contributor-covenant.org/translations][translations].
127+
128+
[homepage]: https://www.contributor-covenant.org
129+
[v2.1]: https://www.contributor-covenant.org/version/2/1/code_of_conduct.html
130+
[Mozilla CoC]: https://github.com/mozilla/diversity
131+
[FAQ]: https://www.contributor-covenant.org/faq
132+
[translations]: https://www.contributor-covenant.org/translations
133+

‎CONTRIBUTING.md

Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
<!--
2+
!! THIS FILE WAS GENERATED USING repoman !!
3+
Modify `repo.yaml` instead and use `repoman` to update this file
4+
See: https://github.com/metaborg/metaborg-gradle/
5+
-->
6+
7+
# SDF
8+
9+
## How to Contribute
10+
Thank you for wanting to contribute to this project! :tada::+1:
11+
12+
> **Note**:
13+
> We may not deal with your issue or pull request in a timely manner, or at all.
14+
> We also reserve the right to change your contribution in any way we deem fit
15+
> for this project, or even outright reject it.
16+
17+
#### **You have a question?**
18+
Search the [Discussions][1] and [Stackoverflow][3] to see whether your question
19+
has already been answered, or ask your question there.
20+
Please do **not** make an issue on the Github repository.
21+
22+
23+
#### **You found a bug**
24+
Search the [Issues][2] to ensure the bug has not been reported before.
25+
26+
If the bug is new, open a new issue with a _clear title and description_.
27+
Please indicate:
28+
- what you did,
29+
- what you expected to happen, and
30+
- what actually happened.
31+
32+
Try to include as much relevant information as you have.
33+
For example, a code sample or executable test case are very helpful.
34+
35+
36+
#### **You wrote a patch with a cosmetic change**
37+
Please do not submit pull requests for cosmetic changes,
38+
such as whitespace and formatting changes.
39+
We will reject them.
40+
41+
42+
#### **You wrote a patch with a bug fix**
43+
Thank you! Please open a GitHub pull request with the patch.
44+
45+
46+
#### **You wrote a patch that adds a new feature or changes an existing one**
47+
Please open an issue _first_, so we can discuss the change.
48+
49+
50+
#### **You want to contribute to the documentation or test suite**
51+
Thank you! Please open a GitHub pull request with the patch.
52+
53+
---
54+
55+
Thanks! :heart: :heart: :heart:
56+
57+
[Programming Languages Group](https://pl.ewi.tudelft.nl/), [Delft University of Technology](https://www.tudelft.nl/)
58+
59+
[1]: https://github.com/metaborg/sdf/discussions
60+
[2]: https://github.com/metaborg/sdf/issues
61+
[3]: https://stackoverflow.com/

0 commit comments

Comments
 (0)