Move PushUpdateOptions from models to repofiles#9124

Merged

lunny merged 3 commits intogo-gitea:masterfrom

lunny:lunny/move_push_update_opts

Nov 29, 2019

Commits on Nov 22, 2019

Move PushUpdateOptions from models to repofiles
lunny
committed

Commits on Nov 23, 2019

Merge branch 'master' into lunny/move_push_update_opts
lunny
authored

Commits on Nov 29, 2019

Merge branch 'master' into lunny/move_push_update_opts
lunny
authored