[iTowns-dev] Video in repo

[Thomas Broyer]

2017-06-29 12:13 GMT+02:00 Augustin Trancart <augustin.trancart at oslandia.com
>:

> Yes, agree with the idea of removing other big obsolete files as well.
>
> I'm not too worried about pull/pushes. If we require the files to be
> removed
> before merge, these commits would become unreachable after the force-push,
> and
> would eventually be garbage collected (providing we are careful at
> removing old
> branches).


Not sure I understand that last paragraph.
My remark wrt rejecting pull requests (or pushes) with big files was to
prevent this situation from happening again (in other words, as you said,
"require the files to be removed before merge", but automate it).

Note also that GitHub will keep the files anyway in their special
refs/pull/ references [1], you'll just never sync them (unless you want it)
because (by default) Git only syncs refs/heads/ and refs/tags/
[1] https://help.github.com/articles/checking-out-pull-requests-locally/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osgeo.org/pipermail/itowns-dev/attachments/20170629/74f11c2d/attachment.html>