dot/gitconfig.in: Add explicit `pull' setting.

[profile] / bin / fixsub

#! /bin/sh -e
cd $HOME/mail
find . \
  \( -name ".?*" -o \
     -name bin -o \
     -name "*~" -o \
     -name "*.nov" -o \
     -name "to.split" \) -prune -o \
  -type f -print \
  >.subscriptions.tmp
{ echo INBOX; sort .subscriptions.tmp | sed 's:^./::'; } >.subscriptions.new
mv .subscriptions.new .subscriptions
rm -f .subscriptions.tmp