Skip to main content
Paul Pladijs's user avatar
Paul Pladijs's user avatar
Paul Pladijs's user avatar
Paul Pladijs
Expert Software Designer & Engineer
  • Member for 15 years, 1 month
  • Last seen more than a month ago
Profile Activity

Stats

21,096
reputation
3.7m
reached
13
answers
8
questions
Communities
View all

About

I'm passionate about delivering high quality software in the best and most pragmatic way.

Quality, Continuous Improvement & Growth

Badges

View all badges
6
gold badges
32
silver badges
32
bronze badges

Top tags

View all tags
1,999
Score
17
Posts
81
Posts %
1,386
Score
2
Posts
10
Posts %
1,386
Score
1
Posts
5
Posts %
1,386
Score
1
Posts
5
Posts %
272
Score
1
Posts
5
Posts %
2
Score
2
Posts
10
Posts %

Top posts

View all questions, answers, and articles
answer
1386
How can one change the timestamp of an old commit in Git?
Feb 16, 2011
answer
272
Is there a "theirs" version of "git merge -s ours"?
Feb 11, 2011
answer
209
How do I get the hash for the current commit in Git?
Nov 21, 2011
question
77
Git - remove commits with empty changeset using filter-branch
Mar 16, 2011
answer
55
Rollback to last git commit
Feb 11, 2011
answer
51
git commit - setting timestamps into the future
Feb 16, 2011
answer
16
Git disable pushing from local repository
Dec 4, 2011
question
16
How to compare changesets in Git?
Feb 17, 2011
question
12
Git: access a remote repository over ssh using a key file but without using ~/.ssh/config
Jun 7, 2016
answer
7
How can I merge many commits, but leave one out?
Jul 26, 2011