Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

docs: expand the issue template a bit

Browse source
This commit is contained in:
Robert Helgesson 2020-11-03 22:46:13 +01:00
parent 0261950395
commit 249e31b656
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.github/ISSUE_TEMPLATE.md vendored
View file

@ -1,11 +1,16 @@
<!--
Please PLEASE search for existing issues before creating a new one!!
This also applies for the error message
If you are encountering the error
element xref: validity error : IDREF attribute linkend references an unknown ID "opt-home.file._name__.source"
then it means that you are using an old version of Home Manager, such
as the release-20.03 branch, with a recent version of Nixpkgs, such as
version 20.09 or master. See https://git.io/JTb6K for more.
In general, please check if there already exists a relevant issue
before creating a new one.
-->
### Issue description