Updating the plugin:
Ensure the github repo readme.txt and embedly.php are showing the correct version of the plugin (i.e. from 4.0.1 -> 4.0.2, this version needs to be reflected in these two files)
in the svn repo,
svn upto update, if necessarycp github_repo_dir/* svn_repo_dir/trunk/(remove any .git or other unnecessary files (like this 'README.md' file!))cd svn_repo_dir/trunkcheck updates with
svn statandsvn diff(especially the version bump)svn ci -m "a public message" --username USERNAME --password PASSWORDcd ..go up to the master svn directorymake a new tag
mkdir tags/X.Y.Z && svn add tags/X.Y.Zsvn-copy the trunk files
svn cp trunk/* tags/X.Y.Z/Check changes again with
svn statandsvn diffif necessarysvn ci -m "tagging version X.Y.Z" --username USERNAME --password PASSWORD