leodutra

#!/bin/sh
# ref: https://devconnected.com/how-to-clean-up-git-branches/

# lists branches that can be deleted/pruned on your local. An option --dry-run is needed
git remote prune origin --dry-run

# In order to clean up remote tracking branches, 
# meaning deleting references to non-existing remote branches, 
# use the “git remote prune” command and specify the remote name
git remote prune origin

iPaulPro

<?xml version="1.0" encoding="utf-8"?><!--
  ~ Copyright (C) 2015 The Android Open Source Project
  ~
  ~ Licensed under the Apache License, Version 2.0 (the "License");
  ~ you may not use this file except in compliance with the License.
  ~ You may obtain a copy of the License at
  ~
  ~      http://www.apache.org/licenses/LICENSE-2.0
  ~
  ~ Unless required by applicable law or agreed to in writing, software