<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jun 25, 2013 at 7:39 PM, Fabio D'Urso <span dir="ltr"><<a href="mailto:fabiodurso@hotmail.it" target="_blank">fabiodurso@hotmail.it</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Tuesday, June 25, 2013 06:32:52 PM Jaydeep Solanki wrote:<br>
> On Tue, Jun 25, 2013 at 4:50 AM, Fabio D'Urso <<a href="mailto:fabiodurso@hotmail.it">fabiodurso@hotmail.it</a>> wrote:<br>
> > On Monday, June 24, 2013 11:57:35 PM Jaydeep Solanki wrote:<br>
> > > Hello,<br>
> > > I have put together some of my work, in a branch named 'epub-qtextdoc'.<br>
> > ><br>
> > > It would be really nice if you can review it.<br>
> ><br>
> > Hi Jaydeep,<br>
> ><br>
> > I've never worked on epubs, therefore I can't really comment on your code.<br>
> ><br>
> > I noticed that there are some indentation changes in your patch "epub<br>
> > change<br>
> > document loading method" that affect code that would otherwise be<br>
> > unaffected.<br>
> > Such changes make diffs unnecessarily long and harder to read, because<br>
> > it's<br>
> > not clear what code has been changed or not (and they also confuse git's<br>
> > history tracking).<br>
> ><br>
> > Sorry again for not being able to review the actual code,<br>
><br>
> I agree with you, on this.<br>
> The file was previously using indentation of width 2, & I used width 4.<br>
> Would it be a good idea to push another commit with indent width 2<br>
> ? because again it will create diff, that has indentation change.<br>
> Or Albert can just kill the branch, & I'll push it again, with indent width<br>
> 2 + some documentation, for making it easier to read.<br>
<br>
</div>Have you tried git push -f?<br>
 1. Do your chages and git add them<br>
 2. git commit --amend<br>
 3. git push -f origin epub-qtextdoc<br>
<br>
git push -f lets you "rewrite history" and change already-pushed commits.<br>
As a side effect, it causes other people's git clones to stop tracking your<br>
changes automatically, therefore it's generally better to avoid it.<br>
But I think this case is worth an exception.<br>
<br>
Note: git push -f might be blocked by server policies, in which case you'll<br>
get an error at step three and nothing will be pushed.<br></blockquote><div>I don't have permission to change/delete refs.<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="HOEnZb"><div class="h5"><br>
Fabio<br>
<br>
_______________________________________________<br>
Okular-devel mailing list<br>
<a href="mailto:Okular-devel@kde.org">Okular-devel@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/okular-devel" target="_blank">https://mail.kde.org/mailman/listinfo/okular-devel</a><br>
</div></div></blockquote></div><br></div></div>