File tree 2 files changed +9
-3
lines changed 2 files changed +9
-3
lines changed Original file line number Diff line number Diff line change 1
1
## Authors
2
- Below is a list of the contributors to Adaptive:
3
2
4
- + [ Anton Akhmerov] ( < https://antonakhmerov.org > )
3
+ The current maintainers of Adaptive are:
4
+
5
5
+ [ Bas Nijholt] ( < http://nijho.lt > )
6
+ + [ Joseph Weston] ( < https://joseph.weston.cloud > )
7
+ + [ Anton Akhmerov] ( < https://antonakhmerov.org > )
8
+
9
+ Other contributors to Adaptive include:
10
+
11
+ + Andrey E. Antipov
6
12
+ [ Christoph Groth] ( < http://inac.cea.fr/Pisp/christoph.groth/ > )
7
13
+ Jorn Hoofwijk
8
- + [ Joseph Weston] ( < https://joseph.weston.cloud > )
Original file line number Diff line number Diff line change 32
32
MISSING_AUTHORS=$(git shortlog -s HEAD | sed -e "s/^[0-9\t ]*//"| xargs -i sh -c 'grep -q "{}" AUTHORS.md || echo "{} missing from authors"')
33
33
if [ ! -z "$MISSING_AUTHORS" ]; then { echo $MISSING_AUTHORS; exit 1; }; fi
34
34
displayName: 'Authors check'
35
+ continueOnError: true
You can’t perform that action at this time.
0 commit comments