Context Navigation

GitHub-LessonsLearned

v3	v4
19	19
20	20	== Trac
21		* trac-github could monitor pull requests mentioning tickets and post a comment with a link to the pull requests.
	21	* trac-github could monitor pull requests mentioning tickets and post a comment with a link to the pull requests. (Some code may be available in https://github.com/trac-hacks/trac-github/issues/75)
22	22	* Trac's GitHub integration is nice so far, the unified login works well.
23	23	* The trac landing pages are not very good; some user experience improvements could be done. We'll defer discussion to the UX session that's planned for tomorrow.