Avoid changing HEAD when executing publish (#81)

This commit is contained in:
Mateusz Burzyński
2021-03-23 11:04:41 +01:00
committed by GitHub
parent b5c0c12a1d
commit aacbc22392
3 changed files with 11 additions and 13 deletions
+2 -2
View File
File diff suppressed because one or more lines are too long