Re: [Savannah-hackers-public] attempt at savannah web interface in python/flask

2017-04-01 Thread Michal Grochmal
ly). > I welcome the discussion and suggestions. > > > On Mar 30, 2017, at 17:03, Michal Grochmal <m...@grochmal.org> wrote: > > > > I'd do two things a little differently. One is the search form. I believe > > that: > > > >SearchForm(reque

Re: [Savannah-hackers-public] [Repo-criteria-discuss] Savannah and HTTPS

2016-10-10 Thread Michal Grochmal
I'm just a random person that follows savannah-hackers-gnu but I'd like to add the nature of the SSLstrip attack to this discussion. Since I did perform the attack myself a handful of times (no, I did not do anything bad, I'm a security researcher). There is one important point about SSLstrip

Re: [Savannah-hackers-public] Non-fast-forward pushes on git

2014-07-23 Thread Michal Grochmal
Sergio, You could try resolving it directly inside git, give a try with: git reset --hard 12ba11968045b5fb3da8fcbf93b5c242e9aa3c61 (I assume that's the commit you wanna get back to) and then: git push origin HEAD --force (assuming that your remote to savannah is called origin) Or