This repository has been archived on 2020-03-24. You can view files and clone it, but cannot push or open issues or pull requests.

Jimmy Zelinskie 2a13eade80 Merge pull request #22 from coreos-inc/git ... git's a pretty cool guy		2015-04-23 17:33:36 -04:00
..
repo-panel-builds.js	almost all PR discussion fixes	2015-04-21 18:04:25 -04:00
repo-panel-changes.js	Performance improvements for the repo API and the new repo UI	2015-03-18 14:47:53 -04:00
repo-panel-info.js	Add a fetch tag dialog	2015-03-19 15:08:18 -04:00
repo-panel-settings.js	Get the remainder of the repo settings panel working	2015-03-16 17:03:26 -04:00
repo-panel-tags.js	Make sure to support capital letters in the commit sha	2015-04-23 15:24:41 -04:00