semaphore/.gitignore