Rename so it can be published (hopefully)

This commit is contained in:
Carles Pina i Estany 2022-01-20 23:47:19 +01:00
parent 418e6e7a36
commit 084156bc22

View File

@ -1,4 +1,4 @@
name: Push directory to another repository directory name: Push directory to another repository
description: >- description: >-
Useful to push files to another repository to be used, for example, via github Useful to push files to another repository to be used, for example, via github
pages pages