On 6/22/20 1:29 PM, nch via agora-discussion wrote: > I intend to make two changes to the Header and one change to the > homepage repo. I don't anticipate either of them being controversial, > but I'm announcing this intent here just in case someone has significant > objections. > > First, I want to change the header to: > > Agora | Rules | \Help/| \Offices/ | \Archives/ > > The ones with \/ will be drop downs just like the Archives currently are. > > Second, I want to move the coat of arms from the agoranomic repo to the > Header repo. This won't actually change how the homepage looks, but > should let me include the coat of arms as a favicon on each page more > easily. And also will make it easy to update if we get a new flag/symbol. > > -- > nch > Prime Minister, Webmastor, NAX Exchange Manager > > These changes have been implemented and rolled out to the homepage and help pages.
If you maintain a repo you need to update its headers. If you use the terminal git tool, you can do so with these steps: from the base directory of the repository, run "git submodule init" then move to the base of the submodule (/whatever/Header). run "git fetch" and then "git merge" If that says something about fastforwarding, skip to the last step. If it says "No current branch" then run "git checkout master" Finally go back to the base directory of your office's repository. Run "git status" there should be a change that says "modified: Header (new commits)". run "git commit -am "update headers"" and finally "git push". Lmk if you have any issues. -- nch Prime Minister, Webmastor, NAX Exchange Manager
