Re: [tor-bugs] #16546 [Webpages/Website]: Should we move anonbib to the Tor website?

["Tor Bug Tracker & Wiki" <blackhole@xxxxxxxxxxxxxx>]

#16546: Should we move anonbib to the Tor website?
-------------------------------------------------+-------------------------
 Reporter:  nickm                                |          Owner:
                                                 |  cypherpunks
     Type:  defect                               |         Status:
                                                 |  assigned
 Priority:  Medium                               |      Milestone:
                                                 |  WebsiteV3
Component:  Webpages/Website                     |        Version:
 Severity:  Normal                               |     Resolution:
 Keywords:  defer-new-website, ux-team,          |  Actual Points:
  research                                       |
Parent ID:  #26836                               |         Points:
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------

Comment (by arma):

 Replying to [comment:3 nickm]:
 > Well, one thing that would be accomplished is that we wouldn't have to
 manually run a script on the freehaven webserver whenever somebody pushed
 to the git repo.  So that's something.

 This one is solved by a cron run by anonbib@freehaven, which runs this
 script (recorded here for posterity):
 {{{
 #!/bin/sh -e

 CURRENT_COMMIT=$(git rev-parse HEAD)

 if ! git pull --ff-only | grep -F 'Already up-to-date' >/dev/null; then
     git show "${CURRENT_COMMIT}.."
     make
 fi
 }}}

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/16546#comment:17>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online

_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs