Oren Zipori 02a2484354 Adding new github workflow for stale issues ... Adding a Github workflow that will mark issues that didn't have any activity on them for the last 60 days and put a label of stale on them. After 7 days if the stale issue didn't have any updates the issue will be deleted.		2021-11-05 21:30:51 +02:00
..
schedule.yml	Migrate from Travis-CI to GitHub Actions	2020-11-22 15:36:57 -06:00
stale.yaml	Adding new github workflow for stale issues	2021-11-05 21:30:51 +02:00
test.yml	Run "make test" in github workflow	2020-12-30 12:54:13 +01:00