Congegni/sintonia
7
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

chore: add contributors listing tool (#2417)

Browse source 
Yet another contributors listing script, sorry...
This commit is contained in:
Jonas L 2023-03-02 21:09:32 +01:00 • committed by GitHub
parent d2f93f7c8a
commit 11e8cac471
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 111 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tools/Makefile
View file

@ -2,7 +2,9 @@ all: lint test
include python.mk
PIP_INSTALL =
PIP_INSTALL = \
requests \
types-requests
PYLINT_ARG = tools
MYPY_ARG = .
PYTEST_ARG = .