grim/port-authority

0d2c9c684964
Parents dcbfece9f87c
Children 297d90ac06a0
don't do anything if the selected repo is already selected
  • +4 -0
    js/app.js
  • --- a/js/app.js Mon Dec 08 02:12:46 2014 -0600
    +++ b/js/app.js Mon Dec 08 02:28:47 2014 -0600
    @@ -64,6 +64,10 @@
    };
    $scope.select_repo = function(repo) {
    + if(repo === $scope.repo) {
    + return;
    + }
    +
    $scope.repo = repo;
    $scope.tags = null;