On Sat, 25 Sep 2021 08:45:50 +1000
Ralph Ronnquist via Dng <dng@???> wrote:
> On Fri, 24 Sep 2021 21:39:01 +0200
> tito <farmatito@???> wrote:
> > On Fri, 24 Sep 2021 09:57:59 +1000
> > Ralph Ronnquist via Dng <dng@???> wrote:
> > > This one turned out to be that someone (aka me) had mistakenly
> > > raised a blanket traffic blockage as a misdirected response to an
> > > apparent DoS effect via gitea accesses. Things should be better
> > > now, at least until I have another go at dealing with the same
> > > problem.
> > >
> > > Ralph.
> > Hi,
> > whatever you did it fixed the web interface.
> > It is speedy now, just loading files in the
> > editor is still a little slow but acceptable.
> > Thanks for your time and effort.
> Yeah; if I don't have things to do I create some :)
> Btw the favoured way to work with git, both generally and also
> for Devuan's git store, is to clone the project into a workspace on your
> own machine to edit and commit locally, and then push changes back.
> Apart from being slow, editing via the repository browser is error prone
> in many ways, especially because it causes a very refined commit history
> which reduces its usefulness.
> In fact, if you deep dive into the ontological structure that underpins
> the notion of version control for collaborative authoring you're likely
> to arrive at and take a position to the very question whether editing
> while browsing is or is not a contrary idea. I'd say "is".
> Ralph. Hi,
Yes, but I don't have the time to learn the git-fu at the moment.
I work on my local cloned tree and when I'm ready or to tired I just delete
the current git version in the editing window and copy my new version.
This way I get a diff in a simple and fast way add some commit notes,
hit commit and I'm done and can drink a beer and go to sleep.
I agree with you that this is not the most elegant way to use git
but it works for me.
Ciao and keep up the good work,
This message was posted to the following mailing lists: