en: title_editing: 'Editing' at: at users: settings: profile: title: 'Your Profile' projects: build_lists: index: title: 'Projects Monitoring' git: commits: index: title: 'Commit History' issues: index: title: 'Tracker' wiki: compare: title: 'Compare Revisions' searching: title: 'Search in Wiki' pull_requests: index: title: 'Pull Requests' new: title: 'Create a Pull Request' show: title: 'Pull Request: %{name} by %{user}' platforms: product_build_lists: index: title: 'Products Monitoring'