Manipulação de arquivos INI com Python

config.ini

[database]
host = localhost
dbname = example
port = 1234
user = admin
password = secret

[repository]
type = git
url = git@github.com:user/project.git

config.py

import ConfigParser

config = ConfigParser.ConfigParser()

config.add_section('database')
config.set('database', 'host', 'localhost')
config.set('database', 'dbname', 'example')
config.set('database', 'port', '1234')
config.set('database', 'user', 'admin')
config.set('database', 'password', 'secret')

config.add_section('repository')
config.set('repository', 'type', 'git')
config.set('repository', 'url', 'git@github.com:user/project.git')

with open('config.ini', 'w') as configfile:
    config.write(configfile)