Jose Diaz-Gonzalez be95a619bc fix: allow git pushes to apps that already exist but have old names ...

Users should still renamed their applications as this workaround will be removed at some point.

Closes #4308

2021-01-17 22:06:30 -05:00

9.2 KiB

Executable File

Raw Blame History

View Raw