Citation instructions (#6444)

* [ new ] Create CITATION.cff

* Add CITATION.cff to `change-version.bash` and `test.yml` accordingly

* Exclude CITATION.cff in CI

* Change "The Agda Team" to "Agda Developers"

.github/workflows/test.yml

@@ -312,6 +312,7 @@ name: Build, Test, and Benchmark
     - '!hie*.yaml'
     - '!stack-*.yaml'
     - '!touchup.sh'
+    - '!CITATION.cff'
   push:
     branches:
     - master
@@ -345,4 +346,5 @@ name: Build, Test, and Benchmark
     - '!hie*.yaml'
     - '!stack-*.yaml'
     - '!touchup.sh'
+    - '!CITATION.cff'
   workflow_dispatch: null

CITATION.cff

@@ -0,0 +1,8 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+authors:
+- name: "Agda Developers"
+title: "Agda"
+version: 2.6.5
+license-url: "https://agda.readthedocs.io/en/v2.6.5/team.html"
+url: "https://agda.readthedocs.io/"

doc/user-manual/conf.py

@@ -21,7 +21,7 @@
 
 project = 'Agda'
 copyright = u'''2005–2024 remains with the authors.'''
-author = u'The Agda Team'
+author = u'Agda Developers'
 
 # The short X.Y version
 version = '2.6.5'

src/github/workflows/test.yml

@@ -41,6 +41,7 @@ on:
     - '!hie*.yaml'
     - '!stack-*.yaml'
     - '!touchup.sh'
+    - '!CITATION.cff'
 
   pull_request:
     paths: *path_list

src/release-tools/change-version.bash

@@ -9,6 +9,7 @@ old_version="$1"
 new_version="$2"
 
 files+='Agda.cabal '
+files+='CITATION.cff '
 files+='doc/user-manual/conf.py '
 files+='mk/versions.mk '
 files+='src/data/emacs-mode/agda2-mode.el '