The Git repository serval-tools is a collection of scripts and productivity tools that are used by Serval developers:

• Bourne shell scripts for working with Git repositories: sp-ls-files, sp-find, sp-grep, sp-mktags, sp-exclude-directories
• a shell script for releasing Serval packages for OpenWRT: sp-openwrt-release
• a Vim plugin for navigating Git logs and making useful diff comparisons between revisions
• the sp-mantis2github Python script for migrating issues from the Mantis bug tracker to GitHub Issues

See the serval-tools documentation for installation instructions and more up-to-date information.