soham zemse

## Element_Ecosystem_ZK_Claim_Gist.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                zemse
                / Element_Ecosystem_ZK_Claim_Gist.md
            
            
              Last active
              April 28, 2022 13:56
            
          
    0x044067200be83613231a00ffb392a0a18614b8875144d1c47e694cdacd18256e

  
## merge_repos.sh
#!/bin/bash

# This script takes a remote repository and merges it into
# the current one as a subdirectory

set -e

if [ -z "$1" ]
then
    echo "Usage:"
	#!/bin/bash

	# This script takes a remote repository and merges it into
	# the current one as a subdirectory

	set -e

	if [ -z "$1" ]
	then
	echo "Usage:"