add git workflow and correct URLs

philipm 10 months ago
parent 31514c5f33
commit e57bee4058
Loading…
Cancel
Save