Permanently deleting a file from a repository

Hi Everyone, I hope you are all safe and well.

I am using Gogs (Version:
Database is: sqlite3 --version
3.7.17 2013-05-20 00:56:22 118a3b35693b134d56ebd780123b7fd6f1497668
OS is: CentOS Linux release 7.5.1804 (Core)

A large tgz file was introduced into a repository, commited and pushed to our Gogs server.
To delete this file from the repository and the history I followed these instructions (1…6)

The file has gone from the newly checked out repository (yippee!), but not on the Gogs server I can still find it here: /data/tmp/local-repo/73/file_is_still_here.tgz

Is it safe to delete /data/tmp/local-repo/73 ?

Hope someone can provide some assistance.
Thanks in advance.

Hi, I think I’ve answered on GitHub.