Re: To force-push or not to force-push

2017-04-19 Thread Helmut K. C. Tessarek
On 2017-04-19 08:43, Rainer Müller wrote: > For pull requests, you are not pushing to the MacPorts repository, > but to the repository of the user who opened the pull request... Yes, but the documentation is not clear about this. It does not say that the project is ok with force-pushing in PRs. S

Re: To force-push or not to force-push

2017-04-19 Thread Rainer Müller
On 2017-04-15 21:30, Mojca Miklavec wrote: > Hi, > > A confused maintainer just pointed out "a problem" with our guidelines: > https://trac.macports.org/wiki/CommitMessages#corrections > > ~~~ > You cannot correct commits that you have already pushed. Comment on > the commit's GitHub page in

To force-push or not to force-push

2017-04-15 Thread Mojca Miklavec
Hi, A confused maintainer just pointed out "a problem" with our guidelines: https://trac.macports.org/wiki/CommitMessages#corrections ~~~ You cannot correct commits that you have already pushed. Comment on the commit's GitHub page instead. (Modifying your local history causes it to diverge f