erik/warp-themes
erik/warp-themes
1
0
Fork 0
mirror of https://github.com/ethauvin/warp-themes.git synced 2025-04-25 09:07:11 -07:00
Code Issues Projects Releases Packages Wiki Activity Actions

lint: trunk fmt

Browse source
This commit is contained in:
elvis kahoro 2022-10-23 22:49:40 -04:00
parent 3de1620f3d
commit 892e438bd4
276 changed files with 5432 additions and 5639 deletions
Download patch file Download diff file Expand all files Collapse all files

11
.github/PULL_REQUEST_TEMPLATE.md vendored
View file

@ -2,8 +2,8 @@
## Discord username (optional)
If you're in our Discord server, we'd like to give you the Contributor Discord Role, please include your username.
Note: It must be labelled like so: username#4747 (make sure to include the #XXXX).
If you're in our Discord server, we'd like to give you the Contributor Discord Role, please include
your username. Note: It must be labelled like so: username#4747 (make sure to include the #XXXX).
## Name of theme
@ -17,7 +17,8 @@ Have you run the python script? `python3 ./scripts/gen_theme_previews.py <folder
We cannot accept pull request that include custom background images because:
* of licensing restrictions
* we are trying to keep the binary size of the repo as small as possible (just the yaml files)
- of licensing restrictions
- we are trying to keep the binary size of the repo as small as possible (just the yaml files)
If your theme has an intended custom background image, include a comment in the yaml with a link to where people should download it.
If your theme has an intended custom background image, include a comment in the yaml with a link to
where people should download it.